{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "using CUDD # import the CUDD library"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Ptr{CUDD.Manager} @0x00007fbe1ae75c00"
      ]
     },
     "execution_count": 2,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "manager = initilize_cudd() # creates the DD manager that manages the nodes and operations"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# The following shows how to create an ADD of the function f = x1x2 "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Ptr{CUDD.Node} @0x00007fbe1a3ffec0"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "x1 = add_var(manager) # creates the first variable"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "ref(x1) # IMPORTANT: update the reference count for the node just created"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Ptr{CUDD.Node} @0x00007fbe1a3fff00"
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "x2 = add_var(manager) # creates the second variable"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "ref(x2) # Again, update the reference count for x2"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Ptr{CUDD.Node} @0x00007fbe1a3fff60"
      ]
     },
     "execution_count": 8,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "f = add_apply(manager, add_plus_c, x1, x2)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "deref(x1) # ALSO IMPORTANT: decrement the reference count for the old node"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "deref(x2)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 11,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "ref(f)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 12,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# Now, to see the ADD that has been created, we can output it as a DOT file"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 13,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "1"
      ]
     },
     "execution_count": 13,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "output_dot(manager, f, \"plus_example.dot\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# Now to visualize the DOT file that was just created, you'll need GraphViz installed on your computer"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 15,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "run(`dot -Tpng plus_example.dot -o plus_example.png`)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 16,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAcAAAAFbCAYAAABChF7zAAAAAXNSR0IArs4c6QAAQABJREFUeAHtnQu8TXUWx9f1yJuIxAxXSPIo9NBDUaYHyaAw00Nk0jtlojJNFD1USi9Fgx7KoyikZCjRSKHXlClvNzHk0XiUiD3/35rZt+u+nHPP3vv8996//+dz7rl3n73/e/2/69yzzvr/13+tDMdxJgsbCZAACZAACcSLwJYMYwCdeI2ZoyUBEiABEiABySpGCCRAAiRAAiQQRwI0gHHUOsdMAiRAAiQgNIB8E5AACZAACcSSAA1gLNXOQZOANwQeeeQRycjI4KMQBpmZmd7AZi+eEyjheY/skARIIFYEqlatKiNHjozVmBMd7IwZM+T9999P9HSeFzABGsCAgfN2JBA1AmXLlpWuXbtGbViejGfdunU0gJ6Q9KcTToH6w5W9kgAJkAAJWE6ABtByBVE8EiABEiABfwjQAPrDlb2SAAmQAAlYToAG0HIFUTwSIAESIAF/CNAA+sOVvZIACZAACVhOgAbQcgVRPBIgARIgAX8I0AD6w5W9kgAJkAAJWE6ABtByBVE8EiABEiABfwjQAPrDlb2SAAmQAAlYToAG0HIFUTwSIAESIAF/CNAA+sOVvZIACZAACVhOgAbQcgVRPBIgARIgAX8I0AD6w5W9kgAJkAAJWE6ABtByBVE8EiABEiABfwjQAPrDlb2SAAmQAAlYToD1AC1XEMUjARL4H4HZs2fL1q1bD4njwgsvlIoVK+p5a9askVmzZkmZMmWkffv2cuSRRx7yep4QHwL0AOOja46UBEJNoHnz5rJo0SK59NJL5bbbbpOff/5Z9u/fr4+dO3fKkiVLpFevXpKVlaXjHDZsmFx11VXStm1bqV+/vrRp00YWLFgQagYU3lsC9AC95cneSIAEfCJQrVo16dGjhzzxxBNq0Hr27JnnTsWLF5e9e/eq1zdw4EA1ig0aNBA8+vXrJ507d5bPPvtMfvvb3+a5lgfiR4AeYPx0zhGTQGgJVKhQoVDZb7rpJjn66KPlwQcfFHiMeLjt8ssvl127dsmYMWPcQ3yOOQEawJi/ATh8EogKgZdffllq1aqlU6KY6mzatOlBQytdurTUq1dPJk+efNBx/hFfAjSA8dU9R04CkSGwe/duGTp0qI5n9erVcuDAAalRo0ae8SEIZuXKleI4Tp7XeCB+BLgGGD+dc8QkEHoCX3zxhQa3YCBY88Pfbtu0aZP+isjP3K1s2bJ6PqJJq1atmvtl/h0zAjSAMVM4h0sCUSBw/PHHy9y5c7OHsm3bNmnZsqX+Xb58eX3OyMjIft39BVGjpUqVksqVK7uH+BxjApwCjbHyOXQSiAqBKlWqyJ133qnDwTogGqZFczdsl0BEKKJF2UiABpDvARIggUgQwJ4/NBjAcuXKybfffptnXFu2bJFGjRrlOc4D8SRAAxhPvXPUJBBZApji7N27t26aRzCM23bs2CErVqyQbt26uYf4HHMCNIAxfwNw+CQQJgI//PCDirt27dpCxcam9+3bt8uUKVOyz5s0aZJ06tRJunTpkn2Mv8SbAINg4q1/jp4EQkNg6tSpmgUGAiPd2TXXXCPY+N6kSZM8Y8jMzJT58+fLDTfcIEuXLpXq1avrNSNHjsxzLg/ElwANYHx1z5GTQKgIwHNLxntr3LixzJs3T7DuV6lSJSlZsmSoxkth/SdAA+g/Y96BBEggjQS43y+N8C2/NdcALVcQxSMBEiABEvCHAA2gP1zZKwmQAAmQgOUEaAAtVxDFIwESIAES8IcADaA/XNkrCZAACZCA5QRoAC1XEMUjARIgARLwhwANoD9c2SsJkAAJkIDlBGgALVcQxSMBEiABEvCHAA2gP1zZKwmQAAmQgOUEaAAtVxDFIwESIAES8IcADaA/XNkrCZAACZCA5QRoAC1XEMUjARIgARLwhwANoD9c2SsJkAAJkIDlBGgALVcQxSMBEiABEvCHAA2gP1zZKwmQAAmQgOUEaAAtVxDFIwESIAES8IcA6wH6w5W9kkBsCKA6e0ZGRmzGm+xAa9eunewlPD8gAjSAAYHmbUggigQ6duwomZmZ1gxt+vTpMmvWLBk5cqQ1MpUtW9YaWSjIwQRoAA/mwb9IgASSINCgQQPBw5a2bt06mT9/vnTt2tUWkSiHxQS4BmixcigaCZAACZCAfwRoAP1jy55JgARIgAQsJkADaLFyKBoJkAAJkIB/BGgA/WPLnkmABEiABCwmQANosXIoGgmQAAmQgH8EaAD9Y8ueSYAESIAELCZAA2ixcigaCZAACZCAfwRoAP1jy55JgARIgAQsJkADaLFyKBoJkAAJkIB/BGgA/WPLnkmABEiABCwmQANosXIoGgmQAAmQgH8EaAD9Y8ueSYAESIAELCZAA2ixcigaCZAACZCAfwRoAP1jy55JgARIgAQsJkADaLFyKBoJkAAJkIB/BGgA/WPLnkmABEiABCwmQANosXIoGgmQAAmQgH8EaAD9Y8ueSYAESIAELCZAA2ixcigaCZAACZCAfwRoAP1jy55JgARIgAQsJkADaLFyKBoJkAAJkIB/BGgA/WPLnkmABEiABCwmQANosXIoGgmQAAmQgH8EaAD9Y8ueSYAESIAELCZAA2ixcigaCZAACZCAfwRoAP1jy55JgARIgAQsJkADaLFyKBoJkAAJkIB/BGgA/WPLnkmABEiABCwmQANosXIoGgmQAAmQgH8EaAD9Y8ueSYAESIAELCZAA2ixcigaCZAACZCAfwRoAP1jy55JgARIgAQsJkADaLFyKBoJkAAJkIB/BGgA/WPLnkmABEiABCwmQANosXIoGgmQAAmQgH8EaAD9Y8ueSYAESIAELCZAA2ixcigaCZAACZCAfwRoAP1jy55JgARIgAQsJkADaLFyKBoJkAAJkIB/BGgA/WPLnkmABEiABCwmQANosXIoGgmQAAmQgH8EaAD9Y8ueSYAESIAELCZAA2ixcigaCZAACZCAfwRoAP1jy55JgARIgAQsJkADaLFyKBoJkAAJkIB/BEr41zV7JgESIAFvCDiOI2vWrJGvvvpKli1bJllZWbJhwwbZuHGjbNq0SX766afsxy+//CLly5eX0qVL66Ny5cpSs2ZNqVGjhj4fe+yx0rhxYznuuOOkXLly3gjIXkJJIMO8sZxQSk6hSYAEIktg165dsnDhQlmwYIHMnz9flixZIj/++KOOt3bt2nL00UerQYNRO+qoo6Rs2bJSpkwZNXjFixeXPXv26AOGcdu2bWooYTC/++47Wb58ub6WkZEh9evXl1atWslZZ52lj7p160aWKQeWh0AWDWAeJjxAAiSQDgKbN2+W6dOny+uvvy5z586Vn3/+WY455hg588wz5fTTT5emTZuq11ahQoWUxDtw4ICsXr1avUkYVhjZjz76SI1iw4YNpXPnzvo4+eSTU7oPL7aeAA2g9SqigCQQYQIwRu+8846MHj1a3nzzTSlZsqScd9550qlTJ2nXrp1Ur149kNHv3btXPvzwQ5k2bZo+YCBhfK+++mrp2bOnVKtWLRA5eJNACdAABoqbNyMBElAC8O7GjBkjDz30kK7ntW7dWo0NDB+mM9PdPv30U5Xv5Zdf1qnXP/7xj/KXv/xFjWK6ZeP9PSNAA+gZSnZEAiRwSAIIUHnmmWfkwQcf1LW53r17S9++fa01LFhDnDhxosq7atUq6d69uwwZMkS4VnhIVYfhhCxugwiDmigjCUSAwHvvvSfNmjWT/v37yx/+8AeN6nzqqaesNX5AjsCaXr16yb/+9S+BN/jJJ59oBOmgQYM06jQCaon1EGgAY61+Dp4E/CeAiM6rrrpKzjnnHPWcsJVh+PDhGr3p/929uUOxYsXU+/viiy/kvvvukxEjRkiTJk103dCbO7CXdBCgAUwHdd6TBGJCYOnSpdKiRQuZMWOGRnciyrNevXqhHT2CdPr16yfffPONYD8htk8MHTpUEMzDFj4CNIDh0xklJoFQEHj11VfljDPOkDp16gg8JwS4RKVh7+Fbb70ljz76qBrALl26ZO9TjMoY4zAOGsA4aJljJIGACcAwIGCkT58+MmvWLN20HrAIgdzupptu0j2LH3zwgU7xbtmyJZD78ibeEOBGeG84shcSIIH/E8D62K233qreEZ7j0FasWCHnn3++HH744TJv3jypWLFiHIYd9jFyG0TYNUj5ScAmAi+99JJceeWVur/vtttus0k032XB5nlkrUF6NWzuRy5SNqsJ0ABarR4KRwIhIoDN46eeeqp6f9jnF8eGRN1I24aN89jvyGY1ARpAq9VD4UggJASw1eHEE0+U3/zmNzJnzhzBtoG4NgT/dOvWTV577TW5+OKL44ohDOOmAQyDligjCdhOANOd48aNky+//DKyAS/J6OCaa67RbR8rV67kemAy4II9l5lgguXNu5FA9AigTt+TTz4p99xzD43f/9X7wAMPyP79+wXPbPYSYBSovbqhZCQQCgLI8oLaffD+SpRgjW1XaYiGvfPOO+Xbb7+VqlWruof5bA8BToEWRRfIZP/+++/LZ599psU0sfAf5zWPojDkNdEgsGPHDvX6Hn74Ybn++us9GRQ8SuwdRB7O9u3by5FHHpl0v4sXLxZMP+bX8P+KgrpIyYbN7AhawYZ9r9vu3buVDTzjuGwH8Zqhz/1lCSrCsyVOYNOmTY7553Gee+455/vvv3dMYl/nwgsvdMx0R+Kd8EwSiAiBUaNGOaZ8kfPDDz94MiITPeq0adPGManGHFOo1jnuuOMcUxE+qb5NWjLHpFtzzIdnvg+Tnk37v+yyy/T1CRMmJNV/MiebtUDH5AxN5hKeGxyBdTSAScCGkWvVqpXTsWPH7KtMeRcnMzPTuf3227OP8RcSiAuBrl276hdAL8b79ttvO2YmxTEVF7K7wxfNI444wjHTiNnHDvXL7NmznZtvvtkxnqRjZmuyHzhu0rJlX75o0SLfDaDxZPUeGzduzL4vf7GGwLr4xioXwbc230QFKY9QJdptxYsX142/KOuCKQ82EogTAfw/YPO3Fw17B5s3b64Pt7/LL79csMUCxXMTbeXLl5fHHntMc5Aedthh4j5Q7T3ntgT876JlZGQk2nXS52F6Fff5xz/+kfS1vMB/AjSASTB+/fXX9eymTZsedBXKosD4YT2BjQTiQmDbtm1iPBut9pDqmJFD00x5Su7/LWRTQfWIyZMna1TlK6+8Is8//7w+5s6dKxs2bJAXX3xR/8aaPNppp52WZ00e1RqmTp0qSFqdX8NYzHSuYC1z7dq1+Z1SpGMVKlTQzDAIEGKzjwANYBI6Qb4/tBo1ahx0lbtIv3z58oOO8w8SiDIBN/Gz+/5PZaxIIwYjlft/C32ifwS0INDsoosuUu8ORWrrmCoTNWvWFDNNqgEzKLZbUIMHBk8PxjF3mzlzprRt21ZQqgkBKyjfhCAarxrkd1l51Sf78YYADWASHE0AjE5nYEolZzNBAPonvg2zkUBcCGzfvl2HWqVKlZSHjP8tNER+5m74/9q7d69s3bpV4FGZoBUpVaqU5ht98803tQoDKk8U1pCdpXPnzvlOd8KwIo0bDCG8Sky53njjjYV1l9Rr4OOySupCnuw7AW7aSQIx1hbya9jwioYaYWwkEBcC5cqV06F6sfbt/m/ltx6H/y8YvMqVK+v9GjVqJHfffbfcddddgi0Th1p6MCEXMmXKFBk/fny+qsk5LdqyZUtN6WYCZNRr82L/HvhUr14933vzYHoJ0ANMgn+tWrV0HQL7AHO2nTt36p/4x2QjgbgQMNGZOlQvpvfwv4WWnzHF/1eDBg109kVPMj8GDBigU6Dr16/X/0n3eH7PmP6EB4nq7Yk0BK6gYX3RiwY+Lisv+mMf3hGgAUyCpdmTpGcjs0PO5n4A0ADmpMLfo04Aa1uYnjR79lIeKgwgPMrc/1voGP9fuf+3UHMPx77++mtdtytMACSl/v3vf3+QAS3sfKwrwhPFZvlUG7xXrF960VeqsvD6vARoAPMyKfBI7969dSomd0iz2VgrWIDHt1Q2EogLAYT3Y8oQ0ZupNkxx4v8LU48IhnEbMs0g+AzVFdxmNt3LsGHDdFrzuuuu08hN/A/m1zD9mWxVBmR5QmYYrDem2hCZijVF16tMtT9e7y0BGsAkeGKND4vjCJXGPxbanj17ZMaMGbpPienQkoDJUyNBAHsAETiS02gVdWD9+vXTYBGs17lt0qRJ0qlTp4O2L9x00026Bgijib2DCDJBVOhPP/3kXpb9/OGHH6oBQpRnQe0///lP9ksmu5MaYezr9aL9/e9/1+nP3B6sF32zj9QJMBl2kgxh+JDgFnkEzzvvPN0HhanRK664IsmeeDoJhJ8Atv4ce+yxGojSrl27lAeE/6sbbrhBC+sicCQrK0tMliUNMMNa4MCBA7XMEGoONmzYUDZv3qzGEbMyF1xwgValQEV2tyEHJ6ZQUak+d8NaPvKXwuPD9gpM565atUr/v0844YTcpyf9Nz4rwAZyPfHEE0lfzwt8J8Bk2EVFjLl9/GMxuquoBHldVAgguOTwww/XfXRejQn/W5UqVZKSJUum1CWiRCtWrHjIIBQE08CTdLc0pXTT/18M7w9fkjEN6oVB9UIm9nEQARrAg3DwDxIggaQJYBuCSQgvSBXoVVq0pIWw7AJ4fyeddJJu4jc5Ti2TjuL8nwANIN8KJEACqRM499xzdf3uo48+SjjaMvW72tvD2LFjpU+fPur9IVUim5UEWBHeSrVQKBIIGQEUf8X6HVKJxb1hHRFrjwjWofGz+93AIBi79UPpSCA0BJ555hmNkn7nnXfkd7/7XWjk9lJQRIVjCwWmQBGBikhVNmsJcArUWtVQMBIIIYFLL71Uc2q+++67mlIshEMossimNqjmG124cKEaP+4LLjLKoC7kFGhQpHkfEogDAZQqOvXUUzX0P04lgGD8evToIe+9955uCaHxC8e7nRvhw6EnSkkCoSCASimou9e4cWNp1aqVwBOMesP+xA4dOug2kDfeeEOz40R9zFEZHw1gVDTJcZCAJQSQ0xPrgNgYj03gzz77rCWSeS8G8nzC0GOvHzbUx3Xt03uywfRIAxgMZ96FBGJFAMEfqN6OrEnI7IJafKjnF6WGrQ7NmzfXzfrIYXriiSdGaXixGAsNYCzUzEGSQPAEUFEB2yIwDbpkyRLdEoCUZIiQDHOD14cpzz/96U9y7bXXasBLHVOdni18BGgAw6czSkwCoSLQunVr+eKLL9QL7Nmzp04ZwmMKW0MVCni0WN9EjlKUZEJi/FTTtYWNQ5TkpQGMkjY5FhKwlACquY8cOVI9QZRROu200wTZY7BuZntDhQgk4c7MzJTRo0fLQw89JJ988knCBXZtH1+c5aMBjLP2OXYSCJgA1syQMxQllPbt2ydt2rSRFi1aCDbR5yxLFLBY+d4OcqLKS+3ateVvf/uben9r166Vvn37SokSJfK9hgfDRYCZYMKlL0pLApEigKnQUaNGyeTJk3VcSKqN+n/t27fXChNBDhZrk8hliq0MqEmItb6TTz5Zc3pig7+XlSKCHBfvVSABZoIpEA1fIAESCIwAvL+JEyfqHkJsJkfDhnpUl8ADU6Yoj+RlQxFfbNZHRfsPPvhA1/T+/e9/C+oJwghfdtll0qxZMy9vyb7sIkADaJc+KA0JkACCTVBiCYYQgSbwxNAwFYkAFFRXP/roo6VmzZpSo0YNrcmJvYelS5eWMmXKaDUK5OREhXg8b9u2TTZs2KDFq1H37+uvv9bE3XjG6+XLl9f1PNQ1hAfKBNaxeQ/SAMZG1RwoCYSQwPDhw2Xw4MEybtw4rdYOj23ZsmUahYl9hclsqcAUJowm0pTBkOKB63v16qVTn6ecckoICVHkFAjQAKYAj5eSAAn4SODHH3+UunXrao5NRF7mbgii2bhxo2zevFlwruv17d+/X71B1yNEtXoYvoKmUE8//XSpUKGCZq/JfQ/+HWkCNICRVi8HRwIhJgDvb9CgQbJmzRqpVq2abyNBRCpSmGEtEGnN2GJDgAYwNqrmQEkgRAQO5f15PZSzzz5bp0Ox5sgWGwIshxQbVXOgJBAiAtgXuGvXLunfv38gUg8ZMkQ35c+ZMyeQ+/EmdhDgPkA79EApSIAE/k8gaO/PBY/KFdiOgUrubLEgQA8wFmrmIEkgRASC9v5cNPACP/74Y1m6dKl7iM8RJ0APMOIK5vBIIEwE0uX9uYwQcIM9hmyxIEAPMBZq5iBJICQE0uX9uXho/FwS8XhmMux46JmjJAHrCcD7Q3mh66+/3tdtD9aDoICBEaABDAw1b0QCJFAYgXR7f4XJxteiSYAGMJp65ahIIFQE6P2FSl2REZYGMDKq5EBIILwE6P2FV3dhlpwGMMzao+wkEAECNnt/v/zyi+DBFk0CNIDR1CtHRQKhIWCr9wfDd/zxx8uYMWNCw5KCJkeABjA5XjybBEjAQwI2e38lSpSQc845R4YOHSo///yzh6NmV7YQoAG0RROUgwRiSMBW789VxcCBA2XLli0yatQo9xCfI0SABjBCyuRQSCBMBGz2/lyOqCOIfYkPPPCA1hx0j/M5GgRoAKOhR46CBEJHwHbvzwV6xx13yM6dO+Xpp592D/E5IgRoACOiSA6DBMJEIAzen8sTxXhvvvlmGTZsmBpC9zifw0+ABjD8OuQISCB0BMLi/blgUZdw37598vjjj7uH+BwBAiUiMAYOgQRIIEQEwuT9uVgrV64skyZNkmbNmrmH+BwBAjSAEVAih0ACYSIQNu/PZYuCuWzRIsAp0Gjpk6MhAasJhNH7sxoohUuJAA1gSvh4MQmQQDIEwur9JTNGnhseAjSA4dEVJSWBUBOg9xdq9UVSeBrASKqVgyIB+wjQ+7NPJ3GXiAYw7u8Ajp8EAiBA7y8AyLxF0gRoAJNGxgtIgASSJRBF7+/ZZ5+VAQMGJIuC51tEgAbQImVQFBKIIoGoen+HHXaYjBgxQlavXh1FtcViTDSAsVAzB0kC6SMQRe8PNHv06CGZmZly7733pg8u75wSARrAlPDxYhIggcIIRNX7w5hRL3Dw4MEyfvx4+eabbwrDwNcsJZDhmGapbBSLBEgg5ASGDx8ugwYNkjVr1giSSketHThwQJo2baqV4ydMmBC14UV9PFn0AKOuYo6PBNJEIMren4u0WLFics8992ie0H/+85/uYT6HhAA9wJAoimKSQNgIRN37c/WBSbQWLVrI0UcfLVOnTnUP89l+AllMhm2/kighCYSOQBy8P1cpGRkZWivwyy+/dA/xOSQE6AGGRFEUkwTCRCAu3l+YdEJZ8xDgGmAeJDxAAiSQEoE4eX8pgeLFaSfAIJi0q4ACkEC0CER131+0tMTRgAANIN8HJEACnhGg9+cZSnYUAAEawAAg8xYkEBcC9P7ioulojJMGMBp65ChIIO0E6P2lXQUUIEkCNIBJAuPpJEAC+ROg9/crl++++06GDBny6wH+ZiUBGkAr1UKhSCBcBOj9HayvTZs2aQq46dOnH/wC/7KKAPcBWqUOCkMC4STAfX959XbxxRfLqlWr5NNPPxVslmezjgD3AVqnEgpEAiEjQO8vf4UhRyjyg7722mv5n8CjaSdADzDtKqAAJBBuAvT+CtbfpZdeKp999pkgTRoSZ7NZRYAeoFXqoDAkEDIC9P4KVxjqBS5fvlxeeeWVwk/kq2khQA8wLdh5UxIInsCGDRvUE4E3snbtWsHfePz73/8WGLKffvpJ9uzZI7/88ouUKVNGSpcurc9VqlSRmjVr6uM3v/mNHHfccdKkSRM59thj5cknn4x0vT8vtNSrVy9ZsGCBfP311/LDDz/IV199pQ+sD27cuFF1gOedO3cqf+hh7969cthhh2XroFy5clKjRg3VAZ5ReaJx48b6OOqoo7wQM459ZNEAxlHtHHPkCezfv1+WLFki8+fPl/fff18+/PBD2bZtm44bH5j169c/6AMVH7CuwStevLh+EMMY4sN4y5Yt2R/SWVlZsnLlStm3b59WRD/yyCOlVq1acvvtt8tZZ50lRxxxROTZJjpAFMvF9Ocbb7who0aNEpRN+v777/Xyww8/XBo0aJBt0GDUKlWqpDqAHkqVKqVG0NUBjCOMpGswoQPoBa1q1apy2mmnyZlnnqk6OPHEE1U3+iJ/FEaABrAwOnyNBMJE4Oeff5Y5c+bIlClTBOH3W7dulerVq+uHIj4cTzjhBPUYUjVSMH7ffPONepOLFi1SI/v5558rqlatWgmiHzt37qyGMUz8vJAVntvcuXPl9ddfVx1gOwQ86DPOOEMNVLNmzVQH8KhTbZs3b1ZPEuw/+OADfeB+lStXlosuukh1cP7556sXn+q9Ino9DWBEFcthxYgA1pjgYTz//POyfft2admypX74dezYURo2bBgIif/85z9qfPHB/+abb8qOHTvk3HPPlWuvvVY/jEuUiHbpUUxvPvfcc/LCCy+op33SSSdJp06ddOyYLg5qGwS+mIA/vM6FCxdK+fLlBYE4ffr0kebNmwfyXgjRTbLglrORAAmEkMA//vEPx3zDd8wHjlOnTh1n6NChzvr169M+EuMFOeYD2GnXrp1jIh8d4+04jz32mGPWGdMum9cCvPvuu84555yjOjDrcqoDM03s9W2K1J/xBh0ToeuYNVuV79RTT3VmzJhRpL4ietE6GsCIapbDii4Bs7bnGO9KP9TMlKMzc+ZMx6z5WTlgE2zj3HrrrU7ZsmUds/boPP74446ZQrVS1mSEMuuqDtjjywcM4DvvvOOYNb9kugj0XBOE45hpUZXXeIKO8RIDvb+lN6MBtFQxFIsE8hAw05vO9ddfr17V6aef7pi1pjzn2HoA3shtt93mmOAOx0wJOiY4x1ZRC5XL5Ph0/vjHP6ohwZcQeOFhaiYox+nSpYvKf+GFFzommCZM4nstKw2g10TZHwn4QeDtt992TECLPsw6kx+3CKTPFStW6NQoPKfrrrvOMVGmgdzXi5uMGTPGMWtqTt26dZ1p06Z50WXa+njvvff0iwi+kDzyyCNWe68+QqIB9BEuuyaBlAlgPa1///6OCaJwTDCDY/aRpdynDR1MnDjRMWH/TtOmTZ1ly5bZIFKBMoB5t27dVAfwYs3WhALPDdMLZr+nc9999zkmQEnXks1+0DCJ74Ws67gPMEQhSxQ1XgSw98tMV+kevqefflquvPLKSAFYt26dmOlE3U6B6NG2bdtaNz4kDDDBPBrV+uKLL1opY6rQFi9erJGi2HNoZho0yUGqfYbkeqZCC4miKGbMCGA/V+vWrdU4YDN71Iwf1JmZmSnz5s2TDh06SPv27WXChAlWafmTTz4REzmpm9M//vjjSBo/AD/55JMF4zNTu4J9nGZ61Co9+CkMs7P6SZd9k0ARCGBP3XnnnSe7du1S769FixZF6CUclyDd18svvyw33nijXHHFFbqB3AbJkS7ud7/7nSYPQBozpICLcsPm+b///e/q7ZrgGN1UH+XxumPjFKhLgs8kYAEBTEMhewfyRJoIQ/WSLBArEBFMhKuMGzdOzJYCzV4TyE3zucmaNWs0cwtSlWFKEHlR49KQQq9r167qBSKF3vHHHx/loTMTTJS1y7GFjwA8oZdeekk9v0aNGoVvAClIjNyZJthEE0d/8cUXmsYthe6KdClSmWHaE7LA86tQoUKR+gnzRUipd8EFFwjWaJHLtGLFimEeTmGycw2wMDp8jQSCJGCydAiCXZDWLG7GD5xRL2/s2LGavgtrnibML0j8eq8BAwZosm8UsY2j8QMEJOI2UbqaCB0p1KLcOAUaZe1ybKEhgHJExxxzjObPRE7PODcEZKC6AThgXTCohsTeuO/48ePlsssuC+q21t4HidWRz9XseRTklY1g4xRoBJXKIYWQgNmPJcOGDROzUTwtU3+2Ievdu7cm10aib3gkQTREQKIUFNa+2P5HAFPSmI5GUFAEE5pzCpRvdBJINwFEez700ENiNrzT+P1fGSaxt9bOM9lXAlEPgl0QdPToo48Gcr+w3ARfyhAUhHXpKDZOgaagVVTSRhmUNm3apNALL407AUQ+omwQqrOnWqsPLBHEAC8GAQzwahDUgfW1ZBoK4aKkTn4NxXODmBLr2bOneh/Yj+d3Q/1ClJLCvkQvGozGrFmzNIIUexxRODjZlowOPvroI9U5PFjUYzTVQZK9XYHn/+EPf9CAGBRVjlhjOaSi5NMxhSidP//5z44Jj3ZuvvnmonTBa0ggm4CppO507949++9UfkHSaZTlMbXpHFN9XNOoIelxstUiTNYTTZhsPvDyPKOqQBANFQxwf1Pw1dfb4f8Z6cDMfkRP7vPggw865kuxY2rzORgDyhEVJfl3ojpAtQ2zZul8++23mlbObGNwLrnkEs/yeyLpOvRge8q6IiiPuUCLAM0xi/T6T4k3BQ1gUQjyGpfA7t279cP3lVdecQ8V+RlGDiV6jHeW3QfyPZqMK87tt9+efSyRX1AxALXuTDo2x3iU2Q9TWd4xwSmJdOHJOVWrVtWadp50VkAnkydPdozn5JgivgWckfhhJC1HDUTjtWZfhC8jxrNXA5V9MIFfEtGB8fzUOOWsQbh69WrNW+pVtRC8rw4//HDniSeeSEDqUJ2yLrl5EfOJz/a/1EFBVdom72gTQB5GY6R043WqI0XKtA8++ECuvvrq7K4wJYYtBU899ZQYY5t9vLBfsBfujjvukLPPPlu3JCBbCx6YIkSEZhDTn658puyTVjZ3//bjGWt/J5xwgifbHoz3p5XXc1Zfv/zyyzWrTzLrmYnqANPmaMY7y0bjBg1hKtyLhulz6AGcotZKRG1AHA8JhIkAouuw7le7du2UxUZCaTRTYeGgvkz9PTV+b731luCL29KlS/V1GEekXMMaG3KPlixZUjeiw9ghP2TuNnXqVM3QgrRZORsiNbGFANGCZ5xxhmA9zauGNHDYk+Zn++c//yknnnhiyrfYsmWLbp7v0aPHQX2VLl1a6tWrJ8bTlEGDBgnu55UOoD9Toknuvvtu1VmVKlU0YAXvAXyB8apBD+77y6s+beiHHqANWqAMsSWwdetWqVatmifjxxYKtBo1ahzUnxuAAUOFD0ZTWkl69eols2fP1qhTfMPHnjtk/4ARLKhhczgCLHK2ESNGyDXXXKP79ZDFpl+/fvLMM8/kPCWl38EGhsXPhv5dRqncx0w9agaZ3PzRJ/o3xWd1c7+XOihbtqwMGTJEPXN8afnrX/+qBtZMX2sS71TGk/NayO+3HnLeL6jfaQCDIs37kEA+BDCtiG/tXjR4cfDq4MHlbPiQRNu4caM+Y0oU03IwaDCamB6dNGlSoRGoJlBEp1c7deqkfbg/kLmmcePGalQRedisWTN588033ZdTfoa3CUZ+NvSf26styv3AHy2/3KHQAaY18YUHzUsd3HLLLTJ8+HCBAcYU7DnnnFOoLlWAJH/gPbpt27Ykr7L/dBpA+3VECSNMAFsKEl2bOxQGTIXl15DgGO2oo47Kfvnxxx8XE9igmU+uuuqqQ+4/xPQXtlOYqvTZfeCXeWbbAPbsoWEdykQiqlHVAx78QIYcMPKzeaUDlz887NwNOsDaXE5D65UOYPimTJmiKfTgMSOJwD333JNbhJT+xnvUbz2kJGARL6YBLCI4XkYCXhDA+p9XU0u1atUSfNDmDn5AYV20nPlF8Y0ehgseCTbiH6q9+uqreaY/cQ3KBCEwxkRDy7/+9S9d60Iiaa8a2HixN7IweUykqSc6AH+0/L7QQAeoLgEP3W1e6MDEXGqdQkw9I28n9n7ii8rgwYNlyZIl7q1SfoYewClqjQYwahrleEJFANOGSKjgGqlUhDf7zfRyeGE5m2tgcxpAGKmZM2fqh2Xfvn1VhpzX5Pwd12NjfX7BLVhzgiFFxhCsD+b8gM/ZR1F/x7olGPnZ0L/Zs5fyLWAA4SXl5o+OwTAnfxzzQgfQy/r163X9Fn1irQ7BSljXxZcWrxr4+K0Hr2RNph8awGRo8VwS8JgAki/Da0MUZaoNU1+YZssdro6IQ6zNwQNx22OPPSa///3vxew/1LWp6667zn0pzzOmPxEF6Ho47gnIdgLjh/VEd93LS+8P98G2DjDysyHEH1lO3Kniot4L7KED6DInB7O/UKeFkVczZ/NCB4goxb1yfoFCEM4pp5wiZm9gztul9Dv0gAjfyLVQbVu0SFjzrV03oJppB4ukoihhJGBC5DVjixeyI0ORCUrJzgJi0mk5xvA5xghmd28+NJ0OHTpk/43MJeaDzTH5HrOP5fzFVARwjIeX85D+brY96HUm3N4xVew124n58HXM1J5uoE91Yzk2d0MubC73s5mtKHof88Uh5dusXbtWx4/N9W4bPXq0Y7xn90999koHJhWjY7ZZOCNHjszu30xpO2Y90jFBTtnHUvnFRK8qH1MdIpVubLyWmWCKohWzn0pTV+Gf00w5aNopE2FXlK54DQk4ZhrRMQEqzr59+1KmYbwBzfoCA4fMHXfeeaeDlFpuQ3YXM5Xl3HbbbdlGEinA8F7GBymyluRsZupOM9XgQzC/ZgJo9PX69es7zz77rH7omihUx0QiOmZ9Mb9LEj5mAjkcE9ThmOjJhK8p6olmI7xjtoYU9fKDroNBbd26terBJNd2TJSmk/PzwWsdmJyj+qWnZ8+ejvEqHXwh8TJrC95DZq3XQVahiLV1TIZt/vPZSCCdBDCViI3SBQWaFEU2TOdh3Sl31GayfSGgA5XBc69f5ewH0285i8ciCMfNRpLzvGR+N18GxBhVMTktNcQ/mWuLci62gph0cbp+h+AULxr4V6pUqdC9lYncJxEdGMMk3333nQZAYa3Oq7XYPXv2iMktq1O7brRvIjKH5BzWAwyJoihmxAlgfQhZYZBNJYJ115LW3pNPPqnloRB8YXKZJn19shcgEhYG1yQlF2xPYPsfgfvvv18eeOABXcPMuY0mInyyGAQTEU1yGOEmgA8aZAox60XhHogH0mNjOvax3XTTTYEYP4iMPXz33nuvmLU03c7hwTBC3wXyjML4oU5lBI2f6odToKF/m3IAUSFg1lo0KwuiNnNGbEZlfImOA9spUN8OHjE26wfVMG2MiFBkbEEkZ6rTuEHJ7cd9EFlqgp90Shh7C91sQn7cK4190gNMI3zemgQOIgAP5NhjjxUUIMXaSxwbPDAU4kUF8iCNH1hj3WzChAmaUgzpxeLc8F7E1gckIo+o8VP1cgo0zu9yjt0qAkhEjQ9gBJ1gLSrVfWlWDS4BYZBDFJvyUdnAy0oGCdw6+5S6devK2LFjdSoa09JxbCjbBAOItVDs/4x0i1hYK4dDAqEnsHDhQsd863ZMWZ2kK7mHdfDvvfeeYzbTO3/605+sGIJJ8q1bQ7zcTmDFwA4hhPkCpgV9zZeQQ5wZiZe5DzASauQgIkcAe01hEEz1BcckhI7c+HIOyGz/0D2IJhLWqr1m2PxvvB/dS4n9lVFvpqKEGj+TVzTqQ3XHRwPokuAzCdhGAJlJkFXFJDd2TH5J28RLWR4YFWShMdUTHBPxaaW3+8ILLzhmatrp2rWrZrtJedAWdoBsQaamo+oBRjBGjQYwRsrmUENIwFRYcMwmdDWEJidnCEeQv8hIJWiqmatxQfYSm9vcuXMdk1DAMRvCHUxPR6khnV2TJk0cs2HfMSWVojS0RMayjkEwkV7h5eDCTqBhw4ayePFircSAagxmXVDcwqthHJv5VNLq86iKjn2PSNxte8QlCswiQQF0ceaZZ8qtt94qJvdpGPFny2y8Phk0aJCgijyy1Xz++efSpUuX7Ndj80siZpLnkAAJpJ/AtGnTHJMVRb+tw2syWyXSL1QSEpi9fY6p7OCY7QaOqR8YuilFTNn+7W9/0/ykbg5gL/K3JoEw5VNNZLGDQJfatWs7FStWdJCrNII5PhPlxCnQREnxPBKwgYDJC6lBGQiQqVmzpmNC1R2s4djcTKkh54ILLtCAklatWjmffvqpzeIeUrZt27Y5N954o07fIrH4M888Y/2XERg5JEU3NSM10AURxjkTdB9y0NE8gQYwmnrlqKJOAB9eqDIAQ2gqdTsog2TyZlozbBjqcePGaQCPmU5zTIYVZ/bs2dbI54UgZr+mY+ooOiZjjHqFqLCB8kQ2NZRnwpaG3/72t+p5X3HFFdbJmEZerAYRm7luDjSSBLAeaKblxJQx0g30KFqKVGJYL0RVgCAb1pWMkRMU0EU2F/yNdSUU2z3rrLOCFCXQe5kvI6oDbCBHEgMU8AV/s4VFjjnmmEBlwc1QCBf88UDFeFSJN6We5Oqrr9bKDoELZO8NWQ3CXt1QMhJInAByN77zzjuaumrGjBmChNIINDF16dT4IHjD64TGKHu0ZMkSWbBggcyfP18fMHowADDCqBRv6vklPoiQnwkd4AuAKYYr06dPF1MPUVPbQQfgb6Z/fflSgqTVSFvm6gEBOwhsad++vZjtG3LRRRexwkj+7y0awPy58CgJhJcAaunNmzdPDSI8gE8++UTw4QxPwIS8i6kYr6V/zBqi4AHDWK5cOTHTqWKK4uqHJXKRwpjhgQ9yfMjiYfYjyldffaWPFStWiFlb0lyRHTt21PRlePba0IZRE0hjB4OELyV4RnJvsEJ+U/BHfUUkPAf/GjVq6LMJSlH+0IMpKizQI/hDFzt27BCzdUR1AI8T7KGHZcuWad1H5DFF2jIYWrO9RHWBPtgKJUADWCgevkgCISeAYruYhjNV59UrQIUFfHCatSHZvHmzGsZEh4iit6YyuJhACv0QhzFFMVxMreED/pRTTkm0q1idt3r1ajV2KPGEYrvuF4hVq1apUYOhS7ShViSKHKNILQwpHmgmqlY+/vhj3daQaF88T2gA+SYggSgTMBk+ZM6cOYLCsrkL7cIjgVeBdURUHXe9Pngv8ARdjxAf2vBUclZ9z8kMJYTwGrwdtrwEevfurdPDJkAmT6V2EwCiHhy8OnyZcD0+TC/Dg3N1gHqF8KzhxRcrlnf7tskWJEcccYTMnDkzrwA8UhABGsCCyPA4CYSdwPr166VevXpaYxBeml/t3XfflbZt2+pUH9a52H4lAO8PJa4QqHTllVf++oLHv82aNUvatWtHLzA5rjSAyfHi2SQQHgKYFkMkIDKu+L0ehPJF8GbmmbVHtl8JFOb9/XqWN7/RC0yaIwviJo2MF5BACAhgWhNbIwYMGOC78QOOoUOHasg9plvZ/kcA3p/ZfC533XVXnqlPPxgNHjxYTBURTZ3nR/9R7DMDmxCjODCOiQTiTKB///4yfvx4QRAM1vOCaCbbi+bINJlfgrid9fcI0vtzYdALdEkk9EwPMCFMPIkEQkQA2xZMei4xmUkCM37AM2TIEGnZsqUggCPuLWjvz+UNL/Dtt9/WbRLuMT4XTIAeYMFs+AoJhJIAptxGjRqlWx2wv48teALp8P7cUZoSWrpVxf2bzwUSyCpR4Et8gQRIIHQEUKbnqaee0rU/Gr/0qM/1/hD5iQ3qQTfs02RLjEDeDSWJXcezSIAELCTwxBNPiKmwLqZagYXSxUOk++67T1OeIRUcm90E6AHarR9KRwIJE9i1a5eMGDFCs4IgrRZb8ATS7f0FP+Jw35EeYLj1R+lJIJvAyJEjZe/evdK3b9/sY/wlWAL0/oLlnerd6AGmSpDXk4AFBJBCa/jw4XLDDTdovkkLRIqdCPT+wqdyeoDh0xklJoE8BEaPHq25JPv165fntXQdQG5LGOVkkj2nS1Yv7mur94dKIGz5E6ABzJ8Lj5JAaAhg2vPhhx+WPn36aLJkWwRHTcKBAwfK2LFjbRHJNzlc7y+orC+JDgTJzpGLdPHixYleEqvzuA8wVurmYKNI4Nlnn5VbbrlF8CGMqg02NUSjTps2TfORlipVyibRPJUlnfv+DjUQZocpkBAzwRSIhi+QQAgIoKTRsGHDpFevXtYZP+CDB7hlyxbdmB8CnEUS0Vbvzx0Mc4S6JPI+0wPMy4RHSCA0BJ5//nmd+kSF8MzMTCvl/vOf/yyvvPKKoABs2bJlrZQxFaFs9v7ccdELdEkc9EwP8CAc/IMEQkQAhWvvv/9+wYZrW40fcN5xxx0aoPP000+HiG5iotru/bmjoBfokjj4mR7gwTz4FwmEhsCECRPkiiuuEOR+POaYY6yWG1OhiFRFdYqCKstbPYAChIP39/777wuqvZcoYfeuMnqBeZRIDzAPEh4ggRAQQBUzhN13797deuMHnKhMUaVKFVm2bFkI6CYmouv9/fWvf7Xe+GFE9ALz6pUeYF4mPEIC1hOYOnWqXHLJJfLll19Ko0aNrJcXAsJoI09pVFqYvD+X+SOPPKJT5kcddZR7KM7PWTSAcVY/xx5aAi1atJC6devKa6+9FtoxhFlweH/YX/fcc89Jz549wzyUOMtOAxhn7XPs4SQwc+ZM6dChg3z66afSrFmzcA4i5FKH0fsLOXI/xKcB9IMq+yQBPwmcdtppUrVqVZkxY4aft2HfBRBwvT/U+7vyyisLOIuHQ0CABXFDoCSKSALZBObMmSOLFi3SR/ZB/hIoAVtzfgYKISI34xpgRBTJYcSDQJs2beSwww6T2bNnx2PAlo2S3p9lCklNHHqAqfHj1SQQHIEFCxbonjPsO4tCW7t2rZQuXVrCFJFI7y8K77xfx0AP8FcW/I0ErCZw/vnny549e9QIWi1oAsJhSwSiKM8+++zQ5AmNmvfn5pHF++qkk05KQGuRO4VBMJFTKQcUSQIff/yxtGzZUqc+zz333EiMEWWSrr32Ws2igi0dtrcw5PxMlmHMs8PQACb7huH5JJAOAh07dpTNmzdHKvgFHshxxx0nZ5xxhiCpt80tat6fy3rWrFnSrl07wResk08+2T0cl2cawLhomuMML4HPP/9c9/th2wP2/0Wpvfzyy7qV4KuvvtIpUVvHFkXvz2UdYy+QBtB9E/CZBGwl0LVrVy0oi43vUWsHDhyQpk2byvHHHy9I7m1ji6r357KOsRdIA+i+CfhMAjYSQKWHxo0by6uvvioXX3yxjSKmLBPSuXXr1k3g6cIY2tZc7w+6sL3iQ1HZxdQLpAEs6huG15FAEARQ6w+eH5JeRymRdE52iAhFbtPWrVvLiBEjcr6U9t+j7v25gGPqBdIAum8APpOAbQRWrlwpDRs2lBdffFEuvfRS28TzVJ4NGzbofsBixYp52m+qnbneH+r9FS9ePNXurL4egVa9evWSzp07Wy2nh8LRAHoIk12RgKcE4vTh6yk4jzqLi/fnEa4wdsNMMGHUGmWOPoF169bJSy+9pJvEo+552KpNZn2xVTPeyVXCu67YEwmQgFcEhg0bJjVr1tTipV71yX4SJwDvD1PPqPjALyCJcwvbmTSAYdMY5Y08AayHIUsKAkJKliwZ+fHaOEB6fzZqxXuZaAC9Z8oeSSAlAg8//LAcccQRGpCQUke8uEgE6P0VCVsoL7Ir5CqUCCk0CXhH4Pvvv5fRo0dL//79pVSpUt51HMKedu/enRap6f2lBXtabkoDmBbsvCkJ5E/g0UcflfLly8s111yT/wkxOXrvvfdqpYigh+t6f3fddVfs1/6ysrJkxYoVQasg0PvRAAaKmzcjgYIJbN++XZ5++mnp16+flClTpuATY/AKcp4uWbJEpk+fHuho6f39ihtJGG655ZZfD0TwN9YDjKBSOaRwEhg8eLA8+eSTgkKxFSpUCOcgPJQaqd9WrVqlmXCCyILDfX8HKy8G2WG4Ef5glfMvEkgPgR07dkhmZqbceuutcvfdd6dHCMvuivRvJ5xwgkycOFGQENzvxsQDeQlHPEdoFqdA8+qcR0ggcAKY+kRlhJtvvjnwe9t6wyZNmkj37t1l0KBBysZPObn2lz9dzEq89dZbsnjx4vxPCPlRToGGXIEUP/wEEO1Yp04d6dOnj2ANiu1XAsuXL5dGjRppwVysSfnV6P0VTDbCXiCnQAtWO18JCwFEq2H6kK1wAh999JGccsophZ9UhFfJPzFo5J8YJ7/Oyoc/c4H6BZv9Bk/g/vvvl/r16wd/Y8vvuGXLFrn++ut9l5L880dM/vlzCepoYfyZCSYoLfA+vhNo27atLx6O74L7fAN4aEE08s+fMvnnzyWoo4XxZxBMUFrgfUiABEiABKwiQANolTooDAmQAAmQQFAEaACDIs37kAAJkAAJWEWABtAqdVAYEiABEiCBoAjQAAZFmvchARIgARKwigANoFXqoDAkQAIkQAJBEaABDIo070MCJEACJGAVARpAq9RBYUiABEiABIIiQAMYFGnehwRIgARIwCoCNIBWqYPCkAAJkAAJBEWABjAo0rwPCZAACZCAVQRoAK1SB4UhARIgARIIigANYFCkeR8SIAESIAGrCNAAWqUOCkMCJEACJBAUARrAoEjzPiRAAiRAAlYRYD1Aq9RBYcJOYOHChTJ79mwpWbKknHvuuaxPmCaFTps2Tc4//3wpXbp0miSI523XrFkjs2bNkjJlykj79u3lyCOPtBoEPUCr1UPhwkSgb9+++k8/btw4ueuuu+TUU0+Vhx56KExDCL2sM2fOlJNOOkk6deokP/30U+jHE6YBDBs2TK666ipBYeT69etLmzZtZMGCBVYPgQbQavVQuLAQmDp1qhQrVky2bt0qa9eulTlz5kjlypXlL3/5i6xevToswwi1nKj83bRpU2nQoEGoxxFG4eH1DRw4UB599FHl36pVK+nXr5907txZ1q9fb+2QaACtVQ0FCxOBDz/8UB555BEpXry4ZGRk6Lfg7t27yy+//CKLFy8O01BCK2vt2rUFjzp16oR2DGEV/MEHH5TmzZvrwx3D5ZdfLrt27ZIxY8a4h6x7pgG0TiUUKIwEBgwYoMYvp+wdOnTQP+EJspFAVAls2bJFpzrhfedsWH+tV6+eTJ48Oedhq36nAbRKHRQmrASqVauWR/Rvv/1Wp0GxFshGAlElgCn+AwcOSI0aNfIMEUEwK1euFMdx8rxmwwEaQBu0QBkiSWDSpEkyaNAgqVixYiTHx0GRAAhs2rRJQSDyM3crW7as7N27V9fGc79mw980gDZogTJEjgDC8PGNGJGhbCQQZQLly5fX4WHtO3fbv3+/lCpVSmdCcr9mw9/cB2iDFihDpAisWLFCxo4da/XaR6SAczBpJVCrVi29/+7du/PIsXPnTo0KRXCYjY0eoI1aoUyhJfDDDz/I4MGD5cUXX9RvvqEdCAUngQQJwACWK1dOsOaduyFAplGjRrkPW/M3DaA1qqAgYSfw448/CqJBH3/8calUqVL2cDZu3CjLly/P/pu/kECUCGCKs3fv3rJo0SINhnHHtmPHDsFsSLdu3dxD1j1zCtQ6lVCgMBLYt2+fXHLJJdKsWTOZOHFi9hC2bdsm8+fPl7fffjv7GH/xl8D27dv1Bnv27PH3Ruw9mwA2vY8fP16mTJkiXbt21eMIAkNGni5dumSfZ9svNIC2aYTyhJJAjx491MjlZ+jgFSI3KJu/BBCNOGHCBEFWHrQ77rhDsBkbOVnZ/CWQmZmpX/RuuOEGWbp0qVSvXl2QmWfkyJH+3jjF3mkAUwTIy0kABPDBiwdb+gjgQ/eWW27RR/qkiO+dGzduLPPmzROs+2EJIAxf+mgA4/t+5chJgARIwHMCVatW9bxPvzpkEIxfZNkvCZAACZCA1QRoAK1WD4UjARIgARLwiwANoF9k2S8JkAAJkIDVBGgArVYPhSMBEiABEvCLAA2gX2TZLwmQAAmQgNUEaACtVg+FIwESIAES8IsADaBfZNkvCZAACZCA1QRoAK1WD4UjARIgARLwiwANoF9k2S8JkAAJkIDVBGgArVYPhSMBEiABEvCLAA2gX2TZLwmQAAmQgNUEaACtVg+FIwESIAES8IsADaBfZNkvCZAACZCA1QRoAK1WD4UjAcnh9kwAAACeSURBVBIgARLwiwANoF9k2S8JkAAJkIDVBFgP0Gr1ULhkCLRs2TKZ03muxwTI32OgSXZH/kkCM6fTACbPjFdYRgAFOCdPnmyZVPaJU79+fV+EIv/EsJJ/Ypz8Ois//hmOaX7dkP2SAAmQAAmQgKUEsrgGaKlmKBYJkAAJkIC/BGgA/eXL3kmABEiABCwlQANoqWIoFgmQAAmQgL8E/gt/FHbIt18pCgAAAABJRU5ErkJggg=="
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "display(\"image/png\", read(\"plus_example.png\"))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 17,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "# The following shows a slightly more complicated example where we create the function f = 5x0x1x2x3"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Ptr{CUDD.Manager} @0x00007fbe1b1f1e00"
      ]
     },
     "execution_count": 18,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "manager2 = initilize_cudd()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "g = add_const(manager2, 5);"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "ref(g)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 21,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "for i in [0,1,2,3]\n",
    "    var = add_ith_var(manager2, i)\n",
    "    ref(var)\n",
    "    tmp = add_apply(manager2, add_times_c, g, var)\n",
    "    ref(tmp)\n",
    "    recursive_deref(manager2, g)\n",
    "    recursive_deref(manager2, var)\n",
    "    g = tmp\n",
    "end"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 22,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "1"
      ]
     },
     "execution_count": 22,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "output_dot(manager2, g, \"times_example.dot\")"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 23,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": [
    "run(`dot -Tpng times_example.dot -o times_example.png`)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 24,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYwAAAIbCAYAAAD4sqksAAAAAXNSR0IArs4c6QAAQABJREFUeAHtnQm8TVX7x5+bqS7KmHmeylSUyFxJpoQypMmQJqWSBhrkLUUUlVe4iZfKlBKKzHMUwhsVMhOSmTeS89+/9b77/s+995xzz7DP3mvv83s+n+Pcs4c1fNexn7PWeoYkn883VSgkQAIkQAIkEJrAgqzG+fahr+FZEiABEiABEpDjlxACCZAACZAACYRDgAojHEq8hgRIgARIQKgw+CUgARIgARIIiwAVRliYeBEJkIAXCAwdOlSSkpL4CsGgVKlSQYcam94UEiABEkgYAgUKFJCRI0cmTH8j6eisWbNk6dKlQW+hwgiKhidIgAS8SCA5OVnat6dxaKCx3b17d0iFwSWpQNR4jARIgARIIAMBKowMSHiABEiABEggEAEqjEBUeIwESIAESCADASqMDEh4gARIgARIIBABKoxAVHiMBEiABEggAwEqjAxIeIAESIAESCAQASqMQFR4jARIgARIIAMBKowMSHiABEiABEggEAEqjEBUeIwESIAESCADASqMDEh4gARIgARIIBABKoxAVHiMBEiABEggAwEqjAxIeIAESIAESCAQASqMQFR4jARIgARIIAMBKowMSHiABEiABEggEAEqjEBUeIwESIAESCADAebDyICEB0iABEggdgLz5s2TP/74I9OCWrZsKZdffrm6bufOnTJ37ly57LLLpEWLFnLllVdmer+dF3CGYSdt1kUCJJAwBGrUqCGrV6+Wzp07S58+feTcuXPy999/q9epU6dk7dq10rVrV9mzZ49iMnjwYOnWrZvccsstUr58eWncuLEsX75cK16cYWg1HGwMCZCAVwgULFhQ7r//fnnvvfeUAujSpUuGrmXJkkXOnz+vZhX9+vVTSqRixYqCV+/evaVt27ayYcMGKV68eIZ7nTjAGYYT1FknCZBAQhDInTt3yH4+8cQTUqZMGRk0aJBgRoKXKffee6+cPn1axo4dax5y/J0Kw/EhYANIgAQSkcAnn3wiJUqUUEtUWHqqVq1aGgyXXnqplCtXTqZOnZrmuJMfqDCcpM+6SYAEEpLAmTNn5PXXX1d937Fjh1y8eFGKFCmSgQU2vbdv3y4+ny/DOScOcA/DCeqskwRIIKEIbNq0SW1mo9PYs8BnUw4dOqT+hGVUeklOTlbXw9qqQIEC6U/b/pkKw3bkrJAESCDRCFSvXl0WLlyY2u2jR49K7dq11edcuXKp96SkpNTz5h+wqsqRI4fkzZvXPOToO5ekHMXPykmABBKRQL58+aRv376q69jHgGCZKr3A/BYWU7Cm0kGoMHQYBbaBBEgg4QjA5wIChZEzZ07Zu3dvBgZHjhyRypUrZzju1AEqDKfIs14SIAESMAhgyal79+7KyQ+b36acPHlStm3bJh06dDAPOf5OheH4ELABJEACXiVw/Phx1bVdu3aF7CKc9I4dOybTp09PvW7KlCnSpk0badeuXeoxp//gprfTI8D6SYAEPEng888/V17e6BzCfzz88MMCR72qVatm6G+pUqVk2bJl0rNnT1m3bp0UKlRI3TNy5MgM1zp5gArDSfqsmwRIwLMEMDOIZHZQpUoVWbJkiWDf4oorrpBs2bJpx4YKQ7shYYNIgAQSmYAO/hbB+HMPIxgZHicBEiABEkhDgAojDQ5+IAESIAESCEaACiMYGR4nARIgARJIQ4AKIw0OfiABEiABEghGgAojGBkeJwESIAESSEOACiMNDn4gARIgARIIRoAKIxgZHicBEiABEkhDgAojDQ5+IAESIAESCEaACiMYGR4nARIgARJIQ4AKIw0OfiABEiABEghGgAojGBkeJwESIAESSEOACiMNDn4gARIgARIIRoAKIxgZHicBEiABEkhDgAojDQ5+IAESIAESCEaACiMYGR4nARIgARJIQ4D5MNLg4AcSIAGvE0D2u6SkJK93M+r+lSxZMui9VBhB0fAECZCA1wi0bt1akA5VF5k5c6bMnTtXdErFmpycHBQPFUZQNDxBAiTgNQIVK1YUvHSR3bt3q1ze7du316VJIdvBPYyQeHiSBEiABEjAJECFYZLgOwmQAAmQQEgCVBgh8fAkCZAACZCASYAKwyTBdxIgARIggZAEqDBC4uFJEiABEiABkwAVhkmC7yRAAiRAAiEJUGGExMOTJEACJEACJgEqDJME30mABEiABEISoMIIiYcnSYAESIAETAJUGCYJvpMACZAACYQkQIUREg9PkgAJkAAJmASoMEwSfCcBEiABEghJgAojJB6eJAESIAESMAlQYZgk+E4CJEACJBCSABVGSDw8SQIkQAIkYBKgwjBJ8J0ESIAESCAkASqMkHh4kgRIgARIwCRAhWGS4DsJkAAJkEBIAlQYIfHwJAmQAAmQgEmACsMkwXcSIAESIIGQBKgwQuLhSRIgARIgAZMAFYZJgu8kQAIkQAIhCVBhhMTDkyRAAiRAAiYBKgyTBN9JgARIgARCEqDCCImHJ0mABEiABEwCVBgmCb6TAAmQAAmEJECFERIPT5IACZAACZgEqDBMEnwnARIgARIISYAKIyQeniQBEiABEjAJUGGYJPhOAiRAAiQQkgAVRkg8PEkCJEACJGASoMIwSfCdBEiABEggJAEqjJB4eJIESIAESMAkQIVhkuA7CZAACZBASAJUGCHx8CQJkAAJkIBJgArDJMF3EiABEiCBkASoMELi4UkSIAESIAGTABWGSYLvJEACJEACIQlQYYTEw5MkQAIkQAImASoMkwTfSYAESIAEQhKgwgiJhydJgARIgARMAlQYJgm+kwAJkAAJhCRAhRESD0+SAAmQAAmYBKgwTBJ8JwESIAESCEmACiMkHp4kARIgARIwCWQ1/+A7CZAACZCANQR8Pp/s3LlTNm/eLFu2bJE9e/bIgQMH5LfffpNDhw7Jf/7zn9TXhQsXJFeuXHLppZeqV968eaVo0aJSpEgR9V6pUiWpUqWKXH311ZIzZ05rGhhlKUlGx3xR3svbSIAESIAEDAKnT5+WVatWyfLly2XZsmWydu1aOXv2rGJTsmRJKVOmjFIAUAKFCxeW5ORkueyyy5SCyJIli/z555/qBUVy9OhRpVigYPbv3y9bt25V55KSkqR8+fJSv359adiwoXqVLVvWTv4pVBh24mZdJEACniFw+PBhmTlzpnzxxReycOFCOXfunFSoUEEaNGggdevWlWrVqqlZQe7cuWPq88WLF2XHjh1qtgJFBKW0Zs0apUSuuuoqadu2rXrVqlUrpnrCuJkKIwxIvIQESIAEFAE8vL/55hsZM2aMzJ49W7JlyyZNmzaVNm3aSPPmzaVQoUK2kDp//rx8++238uWXX6oXFAqUVY8ePaRLly5SsGDBeLSDCiMeVFkmCZCAtwhg9jB27Fh566231H5Eo0aN1MMZigLLS07LDz/8oNr3ySefqKWwu+++W1588UWlRCxsGxWGhTBZFAmQgMcIYEP6gw8+kEGDBqm9he7du8uTTz5p9YPYMmrYA5k8ebJq76+//iodO3aU1157TSza60ihWa1lQ8WCSIAEvERg8eLFcu2118qzzz4rnTp1UlZPI0aM0FZZgD020rt27So//fSTYLaxfv16ZWHVv39/ZZUV6/hQYcRKkPeTAAl4igAsnrp16yY333yz+mUO09i3335bWTe5paOXXHKJml1s2rRJBg4cKMOHD5eqVauqfY9Y+kCFEQs93ksCJOApAuvWrZOaNWvKrFmzlPUTrKDKlSvn2j5iU753797yyy+/CPw5YI77+uuvCzbvoxEqjGio8R4SIAHPEZg2bZrUq1dPSpcuLfhljg1trwh8P77++mt55513lMJo165dqp9IJH2kwoiEFq8lARLwJAE8SLFB/NBDD8ncuXOVk50XO/rEE08on5EVK1aoJbcjR45E1E0qjIhw8WISIAGvEcD6/jPPPKP2Kd577z3B+r+XBbMo+HDA8RA+JCdPngy7u94mEzYGXkgCJJCIBCZOnKjW+IcMGSJPP/10wiCAk9+CBQtUXKvbb79deY2H03kqjHAo8RoSIAHPEYCz24MPPijPPfec9OnTx3P9y6xD8M2YP3++bNy4MWxlyVhSmVHleRIgAc8RgOnsddddJ8WKFVO/tL2+DBVqALHZ36FDB/nss8/kzjvvDHUpHfdC0eE5EiABbxJ49dVXBRu+cG5LZGWB0W3fvr3a7H/00Ucz3c/gkpQ3/z+wVyRAAkEIIE/F+++/LwMGDPCsNVSQrgc9/Oabb8rff/8teA8lXJIKRYfnSIAEPEcAXtzIXfHjjz9K1qzMIWcOMKzF+vbtK3v37pUCBQqYh/3fGXzQn0a4fyNy5dKlS2XDhg0qmUmdOnUSflobLjteRwJOEoAJKZIYwSrqscces6QpmLHAdwNxnFq0aCFXXnllVOWeOnVKPv30UxWzComSOnfunCYSLgILzpgxI2DZyMTXunXrgOfCPXjmzBnFBjOvIBZjKYKMe5TwCRjpFX1G9ixfSkqK7/fff/cZgcl8LVu29BnTufAL4ZUkQAKOEBg9erTPCEfuO378uCX1G1FsfY0bN/YZoTd8RmIjn5FG1Wdk3Iu47J9//tlneGP7DHNXX/bs2ZEF1WeEJPEZKV1Ty5owYYI6jnPpX4ZpbOp1sfzx8MMP+4yYU8GKGEOFEQxNgONQCkZ6RJ+hyVPPGuGPfaVKlfI9//zzqcf4BwmQgJ4EjA1e9QPPitbNmTPHZ2yY+4yIsKnF4Ydk/vz5fcayTuqxcP4wki/5DPNWdanhUOczzH2VUjCWz1JvN8J5+BYtWuQzZiI+Y5Uj9WVk+PONHz8+9bpY/jBmSqpef0XlVx4Vhh+MTP80wh0rmEZgsjTXvvLKKz5jSugzTPXSHOcHEiABvQgYy1E+zAqsECOJks8wzU1TlLFs5MuRI4fPsMJKczzUByPtqu/jjz9Oc4mRz1spIyMFqzoOBfHdd9+luQYfDh48qOoz8oBnOBfNAWPJzmfkGPcZJraBbh9DK6lwF/iM65C7F4Jcvf6CsMFY/0NwLwoJkICeBIyHqhi/nFU02lhbCJNc5NZO/yy49NJLVXTbqVOnKqsj7EkYv/7VC3m/DUUgxtKS+ow9UAiCHWK/wl+wzwI/kbx586rDxjKVBMrZ/fnnn6sItOZ1/mVE8zfyj2P/BAYBgYQKIxCVIMe2bdumzmAw/cXc5Nq6dav/Yf5NAiSgEQEz0J75/zWWpiGHNkKEp38WoEyUv337dmUIg7Abw4YNU0mNoBiKFi0qxrKV2iBHciaIsYQlSUlJ6m//f2CthDzhoSQMZ7tQtwc8h/abrNJfQIWRnkiIz8aGtxjTNYG29xczpy9+vVBIgAT0JHDs2DHVsHz58sXcQDwLILCMSi94Hpw/f17++OMPwS/2SZMmibFMpfKBz549W0WJRWTcUGJsnCuT3yDWSupWBA9E1Fmrw7CDj8kqfRtphJyeSIjPuXLlCngWDi8QxJynkAAJ6EkApqcQLB/HKuazINDMAM8DKAhzmahy5cpi7HPKSy+9pExmM1u6xv24HsmbzHoCtRdL5DDpL1SoUKDTUR8Dn2BlcoYRAdYSJUqodUn4YfgL7Kch+GJQSIAE9CSApR9IsOWWSFqNZwEkkPLB86BixYpqNcIsEwEOsSS1b98+9Qwxjwd6RyBEZMmrUaNGoNOpxxADKpPYT6nXRvIH+Jis0t9HhZGeSIjPho21Oou1RX8xv4BUGP5U+DcJ6EUAa/NYLkK60lgFCgMzlvTPApSL50H6Z8GSJUvUMcPfQoUkCVb/mDFjlKLIzAkPdcB5uG3btsGKiuo4ZjfYfzF8zQLeT4UREEvgg927d1dTzZUrV6a5AHmAsYGFXxUUEiABPQlg/7F27drKuinWFmLJCc+D1atXp8mPDU9yGMcg+qsphpOgDB48WKZPny4I8Acvczwz0guWmAxbVrn//vvTnIJiSC+4FrnHzZlO+vPRfoblFiL51q1bN2ARVBgBsQQ+iD2Kxx9/XA04Bhby559/qoTxY8eOZXiQwNh4lAS0IWA4uakUpbBwilWwbITNYSgCU6ZMmaI2oZEz2xSkRcWeBJSM4QMi2FTu2rWrINSHKUhmBKXy119/yYgRI9Tr3XffFcPzWuUXN68z3+O1HIX8GFiOSj9DMutl8EGTRJjvUBQI0LV582aV3hCWUViquu+++8IsgZeRAAk4RQCm75UqVVI+U5mZrIbTRjwHevbsmbr5vGfPHjGiPigDGOxl9OvXT/lvQSEYTngqLSqUCVYpmjVrpqLmYlbSsGHDgPsh8OvYv3+/UjJme2B9hR+vWN4ywoeYh2N+x7MNbNAupKoNIAw+GABKWIew1od1xGDWBGEVwotIgARsJ4CHc548eZQVklWV41lwxRVXSLZs2awqMmg52GjfvXt30FlA0BszOYHZBXJ8Y1nqmmuuCXQ1FUYgKjxGAiTgXQIwazUChgp8HbBERTGiGRqzi+uvv145HRoxsoIhocIIRobHSYAEvEvg1ltvVfsPa9asSWP+6t0eh+7ZRx99pLLuYXaBUEdBhClag4DhYRIgAQ8TQLIg7D8g90Oiy6+//qryX2BzPoSyUJi46Z3o3xb2nwQSlMAHH3ygrB6/+eYbadKkSUJSgJVnvXr11JLUt99+qyy5QoDgDCMEHJ4iARLwMAH4RCCmE7ylA/lFeLjrqmtGLh8x8oPIrl27ZPLkyZkpC3UP/TC8/q1g/0iABIISQOhxxGOCKWmwkN5Bb3bxCSgLOAgaOX6UiXG4TsdUGC4edDadBEggNgKIPI2cElWqVBEjm6YYGe1iK9AFd8M/pFWrVsqsGDnC4f0erlBhhEuK15EACXiSAGJCYR8DjnyYaYwaNcqT/USnECcKihHWUAg5EuneDRWGZ78a7BgJkEC4BBC2A9nxEMUBntsI6gePai8JTGcRARfOhYiBhYx+kQoVRqTEeD0JkIAnCSC3BcxssSxl5NlWJqYTJ05UFkRu7jBmFViCevDBB+WRRx4RWEMh1Ho0QoURDTXeQwIk4FkCjRo1UgH/MMvo0qWLWsLBL3K3CaLkYsaE/RnEuEKIdUTKjSV8CRWG274FbC8JkEDcCSBb3siRI9VMA2HRb7zxRoF3eKBQ43FvTIQV/P777yroYalSpQT5Nd566y1Zv369CnAYYVEZLqfCyICEB0iABEjgvwSw5o+YUwsXLlShxxs3bqzyUMDp78SJE1phQjsRNbtkyZLy4YcfqtkFfCyefPJJlR/cisbS09sKiiyDBEggIQhgaWr06NEydepU1V8EMWzTpo20aNFCRcC1EwICBiIWFkxjkZMDexW1atVSMaE6d+6ssgta3B4GH7QYKIsjARJIAAKYXcA7Gj4ccH6DwAEQ0W/xwhIWwp1bKUj6BOfC5cuXy4oVK9SexMGDB6V8+fJKad1zzz0q86eVdaYriwojHRB+JAESIIGICGBzGSHToTiwLIQkTRAsDWHDGdnrkCO7aNGiUqRIEZVDB74fSI502WWXqWi5iOmEDHx4P3r0qBw4cECQnG3fvn0qURICJSJhEs5DESGFKvJ6wPops4CBEXUm9MVUGKH58CwJkAAJREbg0KFD8v3338trr70muXPnVmHUYaUEvw4sI4UrycnJSskgbAcUD17XXnutVKtWzal00FQY4Q4eryMBEiCBcAn89NNPamYxb948ZV2F+5CvG7OGw4cPy9mzZ9VsAbMKZO/EbMOccWzcuFEQGBEzDVhraSRUGBoNBptCAiTgEQJ9+vRRG9E7duwQOARGIsjhXbx4cbXEBassjYThzTUaDDaFBEjAAwQwk5gwYYJ07do1YmWB7hcrVkwKFCggmGnoJvTD0G1E2B4SIAFXE5g5c6bar4DCiFauueYaKoxo4fE+EiABEnALATjNNW3aVEqUKBF1k6EwEFFWN+EMQ7cRYXtIgARcS2Dv3r2CjW4E+otFYA21ZcsWQaIjnYQKQ6fRYFtIgARcTWDcuHGSP39+ad26dUz9wAzj3LlzyvcipoIsvpkKw2KgLI4ESCAxCcDHAgoDqU9jiQgLeldffbUMGzZMbX7rRJOxpHQaDbaFBEjAtQTmz5+v9i6wlIQHvgeFZrUeHFR2iQRIwAEC2OxGyA6PKgtFlEtSDnyxWCUJkIC3CCDsB6LGxrrZrTsVKgzdR4jtIwES0J4AUrkiL3iHDh20b2ssDaTCiIUe7yUBEiABg8DYsWOlU6dOgii0XhYqDC+PLvtGAiQQdwJIYoQ8Fd27d497XU5XQIXh9AiwfhIgAVcTwOwCOSlq167t6n6E03gqjHAo8RoSIAESCEDgzJkzKvNevDa7P/roI5WTO0DVjhyiwnAEOyslARLwAgHk9j5//rzce++9cekOrK+QBlYXocLQZSTYDhIgAdcRgO9FmzZtVDiQeDT+qquuUmlaT58+HY/iIy6TCiNiZLyBBEiABESQVW/VqlVx3eyGwoAgn7cOQoWhwyiwDSRAAq4jgM3u0qVLS5MmTeLW9rJly0r27NmpMOJGmAWTAAmQQJwJxJpVL9zmZcmSRSpUqKBmM+HeE8/rOMOIJ12WTQIk4EkCVmTVCxcMYlNxSSpcWryOBEiABDQjYEVWvXC7hH0M7JfoIAxvrsMosA0kQAKuIYCseti7gEntnXfeGfd279u3T+DvUalSpbjXlUkFKVkzuYCnSYAESIAE/AhYlVXPr8iQfxYvXjzkeTtPcg/DTtqsiwRIwNUErMyq50YQVBhuHDW2mQRIwBECCxYskF27dsXV98KRjoVZKRVGmKB4GQmQAAkkQla9UKNMhRGKDs+RAAmQwP8IJEpWvVADToURig7PkQAJkMD/CCRKVr1QA06FEYoOz5EACZDA/wgkSla9UANOhRGKDs+RAAmQgEHA6ax6yOhXrFgxgQ+Ik0KF4SR91k0CJOAKAk5n1cufP78cOHBAdu7c6SgvKgxH8bNyEiAB3QnEO6teOP0vXLiwXHrppVQY4cDiNSRAAiTgFIF4Z9ULp19JSUkqHAlnGOHQ4jUkQAIk4BCBeGfVC7dbiF+1e/fucC+Py3WMJRUXrCyUBEjACwTMrHrz5s1zvDslS5aU7du3O9oO7mE4ip+VkwAJ6EzAjqx64fYfCmPPnj3hXh6X66gw4oKVhZIACbidgF1Z9cLlBIUBs1oEQHRKmA/DKfKslwRIQGsC06dPlw4dOqhggyVKlHC8rX/++adcvHhRkpOTnWpLChWGU+hZLwmQgNYEmjdvrto3Z84crdtpY+OYQMlG2KyKBEjAJQSw9IONbpjUUv6fAPcw/p8F/yIBEiABRcDurHpuwU6F4ZaRYjtJgARsIZDoWfVCQabCCEWH50iABBKOQKJn1Qs14FQYoejwHAmQQMIRSPSseqEGnAojFB2eIwESSCgCbsiq56QfBkODJNR/B3aWBLxHAP4JP//8s2zevFm979+/X3777TcVDvzo0aOC8//5z3/U+yWXXKKivl522WWC15VXXilFihSRokWLSvHixWXHjh2SLVs2ufPOO7UENXz4cBkxYoRjIUKoMLT8WrBRJEACwQjs27dPli1bpl7Lly9XSgIObdmzZ5cKFSqoBz+UQM2aNQV5JKAYEBoc77jOVB5nz56Vw4cPK8Xyyy+/KDNaKAwIFEmNGjWkYcOG0qBBA6lfv77kyZMnWJNsO54rVy75/fffbasvfUV03EtPhJ9JgAS0I7Bp0yb54osv1Gvjxo1KOVx33XXqYX7DDTdIlSpVpHz58pI1a2y/gaFEEHAQs5VVq1bJihUrZMuWLZIlSxZp1KiRtG3bVtq0aaOy3zkBCQzatWsn58+fVzMhm9tAT2+bgbM6EiCBMAmcOHFCPv74YxkzZoxAYSBF6R133KEe2PjFjxmDHYJ9jfnz58uMGTPk66+/ltOnT8utt94qDz30kLRu3drWBzdmVlBcBw8elEKFCtnRff86Urjp7Y+Df5MACThOAF7Wjz/+uNpXeP755+X6669Xv/Zx/J///Kd6WNulLAADy1qdOnWSyZMny5EjRwQxpjCTQZwpBAR86623lBKxAxzaAoESc0KoMJygzjpJgAQyEMBG9cMPP6yWlmbNmiWDBw9Wm9cIMX7jjTcKss45LdgnwbLUV199pYIS3n///fL666+rbHhvvvmm2liPZxtNhQHF5YRQYThBnXWSAAmkEkAY8bffflsqVaok33zzjYwcOVJZAWGWkTt37tTrdPsDEWyh1Hbt2iU9e/aUN954QypXriwzZ86MW1NNhcEZRtwQs2ASIAFdCfz444/Kmumll16S3r17qw3n7t2727ovECubfPnyyYABAwSWVnXr1lX7LJiFxOOhDpNfKNHjx4/H2uyo7qeVVFTYeBMJkECsBLAf0adPH4G108SJE6VMmTKxFqnF/YsXL5YHHnhAmfCiXzfddJOl7cKMDIrDAeGmtwPQWSUJJDSBCxcuSLdu3eTJJ5+Uvn37ytKlSz2jLDCwUBAw/cW+C6ypRo0aZel4O6QsVB9iM1q2FAMLIwES8DoBmKTCi3rlypXy5ZdfSsuWLT3Z5bx588q0adPkH//4hzz66KOye/duwaa424UKw+0jyPaTgEsInDt3TvktwCkO/gTwxPa6vPLKK2r21LVrV9VVtysNKgyvf2PZPxLQgMDff/8td999t/zwww+yZMkSueaaazRolT1NuO+++wQBA7t06aJ8OrBv41ahwnDryLHdJOAiAq+99prykl60aFFCKQtziOCvAaspKItrr71WmjRpYp5y1TutpFw1XGwsCbiPAJafbr75ZkGkVfhWJLJ07NhRLcdhUxwBDl0mjCXlsgFjc0nAVQRgAnr11VdL1apVVSwmVzU+Do09efKkVK9eXUW/RZysaAWWZrEGWoyibprVRgGNt5AACYRJAL4WyE/x7rvvhnmHty+7/PLLZciQIfLpp5/KunXroursBx98oOJsRXVzjDcxNEiMAHk7CZBAYAJIXIQ4S0899ZSUKlUq8EUJeLR9+/bKR+Pll1+OqvcIvHjmzJmo7o31Jm56x0AQIYaR6atx48YxlMJbScCbBD7//HNBiPJevXpZ0kGY5cLJb8OGDWpJp06dOoIMetEIcl3MmzdPeUzDuQ45NUIJ9hywF4Pgg/AdQXa+WARhUBDtds+ePSribSRl5cyZUyWBguWV3QEZo6MdSe88eC0yXsHaoWzZsiqhiwe7yC6RQMwExo0bJ61atVIpUGMtDJnxsBeCByy8xJGbArkokEEvUoGHeYsWLQTtQwwrKB6EKA8kiAr74IMPKo905OJANN1YlQXqQdsLFiwo48ePD1RtyGNQGFAWyBxot1BhREEc0SlhJufEgEXRXN5CArYTwGwA6VMRhC9WgVKAd3i1atXUw7tAgQLKaxqBC/v16xdR8Zj1YFYCE1f8P16wYIHAK/vFF19U+bz9C8N5KCn0BYmTkPvCKkF4DyhT1B+pJCcnq1ucWJaiwoh0tIzra9WqJVdddVUUd/IWEkgMAmvXrlUPWmTGi1WwFIRUqT169EgtCilTEeBvxIgREa3nf/vttzJ06FCVchXLObfccovA1BVWR99//31q+UiBiiUjRKK1OhaUWQnYoE7UFYlghgFxQmFwDyOSkeK1JEACYRHAr/88efKoZduwbghxEfJYQzDD8BeY6uKhiV//yHM9ZcqU1IcvclVgdoBf8JihwFkOr+eee04pC/9y8EsflkeYaZiCGQce5h9++KGYD2jznFXviNILw4Dt27erPBrhlmu2xwmFwRlGuKPE60iABMImgLV/rNFbIdu2bVPFFClSJE1xpuPb1q1blRK4/fbbZdiwYYK4TaVLl1ampykpKSr3N5QFJFCbkPoVygJ7GaZMmjRJ+Tn8+9//Vk6HuXLlkoYNG8r69evNS2J+N9sfafY8KAwsqzmxJE6FEfOwswASIIH0BI4ePaqWc9Ifj+bzoUOHlEKAhZK/mGv5SO0KQWIhPOhz5MihNrFnz56tHvZYcgolmJn0799f4CMBgd8IXpjBIHggwplAUWAm0KhRI3UuVHnhnjNnNMeOHQv3FnUdTJQRmwu5zu0WKgy7ibM+EkgAAvgVbNWSCX7dBxI8NCGFCxdOPY0UqXjIY2bx3nvvSWa+DgixjpkLLKdMMWcRbdq0SVV6FStWlHfeeUcQnh3LV1aIycdcYrKizHiXQYURb8IsnwQSkAAsmSJdagmGCfsRUA6wVvKXU6dOqY9QEv6CfQosSe3bt0/d53/O/28sdX300Ufq5X/8iiuuUB/RB39BQiQIfK+sEJNP+nqsKDteZVBhxIssyyWBBCaABzZ8J6zIPY3Nawj2GvzFfOCmVxgIn45jeLAj13YgQbteffVVmTBhglrC8r8GswlI+tAdMKs1c2r7Xx/t38gBDkstN3nBU2FEO9q8jwRIICiBunXrKuskeFTHKt27d1cPdWTp8xc80LGZbT7gcQ6KYPDgwTJ9+nSV6Q5xm9I/+M+ePauspRDfypxN4F7shWADHUtct912m6xevRqHUwUzEgRTrFevXuqxWP6AqTDM8829jFjKsuteKowoSZsbVTCLo5AACaQlgGUWzAwQfiNWwQMcYdHx8IeHMwT/72bNmiVjx45NEx7kiSeeUHsY2PgeNGiQ2oOA1ZRpUYQH/l133SVo3+TJk5UfB3w5kEoViY7KlCmjyn/77bfVjMZf4S1evFj1CYmQrJD58+cryysryrKtDGMAKBESMOy+fYblBb65PsM0zmdssPmMXycRlsLLScDbBIzAg778+fP7jId7zB01fCl8zz//vM/wmfAZm9m+vn37+ozlpNRyjbDhPkOp+IoVK+b76aef1HHDuspnzAbU/9NmzZr5jBmCr1OnTuoz/u+mfxl7H6nl4Q8jfpTPcOzzGZvovoEDB6q6Dxw4kOaaaD8YG+uqfsMpMdoinLhvDBMo2aaaWREJJBYBmKZifR4xm/Dr3QrB5jf2LgoVKmRFcWGVYSgJ5cth5dIRvNbhwY59jGjEtBCDx7uNwnwYNsJmVSSQUASMX/tKUcDMNb2FU7Qg8IC0U1mgnUWLFrV0n8GYAamggy+88EK0GKRcuXLKSTHqAqK8kXsYUYLjbSRAApkTQD4MWEthT4DyXwIIbQ4rLsTCilagOBH/ym6hwrCbOOsjgQQigFkGZhgwb01vrZRAGFK7OnLkSGUIgI32aHN5oDAoDHNZKrVwG/6gwrABMqsggUQm8Oyzz0qDBg1UVFgr/DLcyhIe5JhdwPscPGIR5POmwoiFIO8lARLQkgB+SU+cOFFFkkVkWPhBJJogDhWSNiGAYWbhSsJhwxlGOJR4DQmQgCsJIF4TfDJgFYSkSqZfhCs7E2Gjd+/eLU2aNFEJmJDACQ/7WIV7GLES5P0kQAJaE4BX85w5c9Rexs033yxIdex1wb4NwqbDJBd9DxZIMVIOnGFESozXkwAJuI4AQnLDexqWU3iQbtiwwXV9CLfBU6dOVeHQq1evrnwuDCfGcG/N9Dp4sjsh3PR2gjrrJIEEJoDYT0iVCqe+2rVrq7DhhtuyZ4ggBHq3bt3UJj/Cknz11VcqV4eVHYTSRegTu4UKw27irI8ESECQbQ7pUxEx1gj5oX6Jb9q0yfVkkF8DMwrEuZo5c6a8//77KnOf6zv2vw5QYXhlJNkPEnAZAVhPGTGhZM2aNSoKbM2aNVWQQWTYc5sglasRr0qQdAmRevEZKWO9JlQYXhtR9ocEXEYAigJLLMiSBysiRIxFBjwkQNJd1q5dq6y+rrnmGrUvg/hQH3/8cZosgLr3IZL2UWFEQovXkgAJxIUAEglhvX/Hjh0qHzcUR9myZVUo8rlz56rcGnGpOIpC4Ucyfvx4lRejVq1aSrHNmDFD5f2O1SEviubYeguj1dqKm5WRAAmEQ+D8+fMybdo0GTNmjLIwQprWdu3aqSUfPJSt8GUIpx3mNci/DcUFxYC9CeTjgD/JQw89JDARThBJocJIkJFmN0nArQTg7Idlni+++EI2b94sME9t1KiRCq9Rv359lXUPoTKsFCgI7K0sX75cvZDtz8y2B8XVuXNnKViwoJVVuqEsKgw3jBLbSAIk8F8CSJM6e/ZsWbRokfIcx0wke/bsKk1rlSpVVEY8zEbgWY4XMutddtllcumll6qXkYhJzQ4wQ8DSEjbYkZoVr127dsmWLVuUUtq5c6fK7of9FMxoGjduLAhroouSgBkylvFsFioMm4GzOhIgAQsIDB06VEXBhfc0Nscx88ALsxEkboIvRCSSL18+gaJBWtmqVasKlA+cDIsXLx5JMbZdi7YZ2QBV/nLbKhVJsXYeZ2PLWRUJkEBiEjDSsSqntaeeekotTQWicOrUKTVrOHr0qIpbhRkF4le1b99eED23efPmkpycrGYMmIk45TkdqO3hHEOkWquX4cKplwojHEq8hgRIQBsCmF1gacnIwR20Tblz5w7oXQ0lAU9z7IG4WaAw7N74By+a1br5W8O2k0CCEUDAwmHDhillkSdPnoh7j70MzDbcLsi2R4Xh9lFk+0mABOJKYODAgSria69evaKqBxvgXlAYXJKKavh5EwmQQKIQ2LNnj4waNUoFK8TSUjSCGYYXcnFwhhHN6PMeEiCBhCGAQIXIEd6jR4+o++yVJSnOMKL+CvBGEiABrxP46aefZMKECSokR7Zs2aLurleWpADAiT0MWklF/dXjjSRAAnYReOmll6Ry5crKwzqWOuvVqyflypWLpQgt7oWToRPC0CBOUGedJEACYRNARFgE+UMMJy+GDA8bhPMX0tPb+TFgC0iABEIRuPXWWwWxnRACneIoAXp6O4qflZMACYQkgJhRyMy3ZMmSkNfxpD0EuCRlD2fWQgIkEAWBOnXqCBz0EFqc4jgBzjAcHwI2gARIICAB5J747rvvBHsYFD0IcIahxziwFSRAAn4EECuqevXqyjJq6tSpfmf4p4MEOMNwED6rJgESCEIACZN+/vlnmT59epArEvcwcmEgmRPygNgtDD5oN3HWRwIkEJIAkiL1799funTpIpUqVQp5baQnkRhp2bJlkd6m1fUIkYJw7N9//73t7aLCsB05KyQBEghFAHm8kQEPSsNqQZ5wKCI3CzIFQuC1brdQYdhNnPWRAAkEJQB/i9dff1169uypMuAFvTDKE14IPmgqjGgDMEaJTt1GhRELPd5LAiRgKYHhw4erXNt9+/a1tFyzMC8EHzSj7VJhmKPKdxIggYQjgHSqQ4YMkWeeeUYKFCgQl/57QWGYMwwuScXlK8JCSYAE3EBg8ODBgki0vXv3jltz8ZA9d+5c3Mq3o2BTYXCGYQdt1kECJKAdgQMHDsj7778v/fr1C5iL26oGY4YBs1Q3Z93DklTWrFmVcrWKS7jlcA8jXFK8jgRIIG4EXnvtNbUM9dhjj8WtDhQMhQFxs8KAD0bu3LlVP+z+hwrDbuKsjwRIIA2BX3/9VT788ENlRgv/gnhK4cKFpXnz5vGsIu5l33///YL9HieEoUGcoM46SYAEUgncc889sm7dOtm8ebMjWeRSG8I/MiPA0CCZEeJ5EiCB+BHYtGmTTJo0SaZMmUJlET/MlpXMGYZlKFkQCZBApARatWolBw8eVGEukpKSIr2d19tLgDMMe3mzNhIgAZPAypUr5auvvpJvvvlGqCxMKnq/c4ah9/iwdSTgWQINGzZUy1CLFy/2bB891jHOMDw2oOwOCbiCwJw5c2T58uXM0+2K0fr/RnKG8f8s+BcJkIANBOA4V7NmTSlZsqR8+eWXNtTorSoQ/t2JXBgGxRT6YXjru8TekID2BJBBD9ZRAwcOdKSt2DPZu3evI3VbUSmUbTxCv4fTNiqMcCjxGhIgAUsIXLhwQV5++WXp3LmzVK1a1ZIyIy2kffv2Mm/evEhv0+b6EydOyBVXXOFIe7I6UisrJQESSEgC48aNk127dinLKKcAIAChm0ODOKkwOMNw6lvLekkgwQjgIT1gwADp0aOHlClTxrHeI56UmVPCsUZEWfHFixfl9OnTjs0wqDCiHDjeRgIkEBmBESNGyLFjx9SSVGR3Wnu1m3NiYHYBo4E8efJYCyXM0qgwwgTFy0iABKIncPLkSRk0aJA8+eSTggCATorbFQbYObWHQYXh5DeXdZNAghAYOnSoYDnlueeec7zHbt7DwAwDQoXh+NeIDSABEogHgd9//12GDRumlIVTSyn+/XLzHsaZM2cEIeCdUhi0kvL/JvFvEiABywnA3yJXrlzSq1cvy8uOpkCEJHF6WSyaduOeunXrOmrhRU/vaEeO95EACWRKYM+ePVKxYkV55513JN7Z9DJtDC+IlUAKFUasCHk/CZBAUALdunWTpUuXys8//+xIDuqgDeOJaAgw+GA01HgPCZBA5gR++uknmTBhgowfP57KInNcrriCMwxXDBMbSQLuI3DXXXfJ1q1bZcOGDXLJJTTIdN8IZmgxZxgZkPAACZBAzAS+//57mT59usycOZPKImaa+hTAGYY+Y8GWkIBnCNx6660CE9BVq1Z5pk/siHCGwS8BCZCAtQQWLVokCxYskCVLllhbMEsTOO7lzp3bsVkbZxj8EpJAAhJAPKKdO3fK5s2bZcuWLQLz1wMHDshvv/0mhw4dUsH5EKAPAQMRkhze0XB4wytv3rxStGhRKVKkiHqvVKmSVKlSRa6++mrJmTOn1KlTR8U6mjt3rpZkES13+/bt0qRJEy3bF6pRpUuXlp49e8qzzz4b6rJ4neMMI15kWS4J6EQAEU6xPIS0qMuWLZO1a9fK2bNnVROR+Q7RY6EA4BgGp7bk5ORUJZElSxalOKA8oESOHj2qFAsUzA8//KC8uHEuKSlJypUrJwUKFFDl7NixQ8qWLasTBtWWWbNmqeRNBw8e1K5tmTUIXvPg65TQ09sp8qyXBOJM4PDhw2rT+YsvvpCFCxfKuXPnpEKFCtKgQQO5//77pVq1ampWgCWOWAQxoqAcMFuBIoJSevPNN1VWuKuuukratm2rXrVq1YqlGsvudWvwQShrKPmCBQtaxiLSgqgwIiXG60lAYwJ4eCMF6ZgxY2T27NnK/6Fp06YyatQoad68uRQqVMjy1sNktnz58up1xx13qPKRd/rbb79VObunTJmiFAiUFXJhdOnSxdGHnluDDx45ckSxdXKGQeNoy//7sEASsJ8AZg8jR45US0AtW7aU48ePy7/+9S/BQ2bGjBnqIR0PZRGsp9mzZ5dGjRqpkCC//vqrrF+/XqC43njjDSlevLhqz7Zt24LdHtfjmGGAF/Zx3CRYjoJQYbhp1NhWEtCIADak33//faUonnnmGWnVqpX88ssvsnjxYpU3G3sROkiNGjUECZSw74HZDmYf2CS/55571HKWnW2EwoBg38VNYs4wnFyS4gzDTd8YtpUE/AhAKVx77bXKYqZTp07K6gkPZSz96CpYDuratasgbMgnn3yiZh6wsOrfv79taVPdqjAww8iWLZtjoc3xnaLC0PV/FttFAkEIwOIJQf1uvvlmNbPAZvPbb7/tqpDd2Pfo2LGjbNq0SVksDR8+XKpWrapmHkG6bdlhKC2I22YYWEYrVaqUZRyiKYgKIxpqvIcEHCKwbt06qVmzpsA0FNZPCL0BU1a3Cn4x9+7dWy2jwZ8DuSpef/11lZ0vXn268sor1dIdzIXdJPiR4NS+j8mJjnsmCb6TgOYEpk2bJvfdd596qGJDG34TXhPsx8AprVmzZvLpp58qfxCv9dHF/UnhDMPFo8emJw4BJCDCEs5DDz0k8KD2orLAaD7xxBPKZ2TFihVqyc3c6E2ckda7p1QYeo8PW0cCgvV9WEBhn+K9995zLI6QXUNRr149tZcBx0OY4p48edKuqllPJgSoMDIBxNMk4CSBiRMnqjX+IUOGyNNPP+1kU2ytG5ZeCGCIuFa333676zaobYVlY2VUGDbCZlUkEAkBxGl68MEH5bnnnpM+ffpEcqsnrkUcqvnz58vGjRsTSlnqPHjc9NZ5dNi2hCUA09nrrrtOihUrpn5pJ3LGOmz2d+jQQT777DO58847E/Y7oUHHuemtwSCwCSSQgcCrr76qwnrAuS2RlQXAtG/fXm32P/roowm7nwEfjP379zsezoRLUhn+q/IACThLAHkqYF46YMAAz1pDRUoY0W///vtvFcQw0nsDXT9v3jxBXgy3yJo1a1QMLuzpOClUGE7SZ90kEIDAa6+9pvJTPPLIIwHOJuahfPnyycsvv6wsxqwwtUV4d0TzdYsgsRUcDeF06KQwvHkU9E+dOqWcivBLEGGdO3fuTAejKDjylowEYEKKcOCwisqa1Zr/nviewncDITFatGgR9UMn3O89svetXLkytXMIkIicG23atEk9Fs0fCI3+yiuvCCzHYrUYQzwp5Jdwi0BhQFk4vjxphPilREDg559/9hkZyXyG2Z/PCOGM+Mg+IzSDzxjQCErhpSQQmMDo0aN9RoRZnxGePPAFER4dNGiQr3Hjxj4jgq3PSGzkMyLE+oyMexGW4vNF8r03AiGq/xf4v4GXkYnPZwQbjLjOQDc8/PDDPiPmVKBTER0zwpD4/vGPf0R0j5MXG5ZyPiMkjJNNQN1juCQV4U8M/LJBgpqtW7fKvn37lNkj4v2/+OKLEZbEy0kgIwH4Htx0002WRCTFrKJfv34qJ0XFihWlfv36yqcDGfDw3Y1Ewv3e7969W/766y/Bu/nCr2Nk3rNC0PYff/xRYk2v6rYkSggLjzzqTgsVRgQjgMBviN9fvXp1dRfi0hu/UtQ0EfmSKSQQKwGExEAKVSvEmF0I8lDgZcq9994rMNkdO3aseSjT90i+98OGDVNxoLB8glzheFmZuAk5x7GW77/klWkHAlzgxiUpHcLBUGEE+DIFO1S6dGm1X+F/HoMIe/m8efP6H+bfJBAxgaNHjwp+jSMabayCjWHk1kbebn/BgxLRbadOnaqsjhDgb/z48eqFvN/4JTthwgT1ecOGDerWcL/3x44dU4oIew158uQR5OjAfoaVgr0Q7BtilhGLgIObwpvje0GFEcuIO3Bv/vz5xViPzVDz3r17Vb7kDCd4gAQiIGBa/1hhCbNjxw4VIjzQQwblb9++Xc2MEXYDswIkNYJiwLJHSkqK2iBHciZIuN97LEUNHDhQKQrUgc17ZNWbM2dOBBQyvxRlm6wyvzrwFW5bkrriiitU7pPAvbHvKGcYMbI2NhCVNUusVhsxNoO3e4AAfqFDYEIaq5j2+mayIP/ykLb1/Pnz8scffyjrpUmTJkmOHDnkrbfeUqamSMyEyLihJND3Hg/yXr16CcqDwsL+CX7FI48DcoxbJeBjsoq2TCxtpZ99RVuWHfdhyfuBBx6wo6qQdVhjtxeyCu+ehCMRzPyQxCZXrlze7Sh7ZguBnDlzqnrOnDkTc33m9zHQjBjfWygIcxm1cuXK6nv80ksvqTSvX3/9dcj6w/newyQYsw3DolApEaSTxYa1FQI+se6LoK+UyAlwhhE5s9Q7EBAO2cL8NxVTT/IPEoiQAJZ+ILEut6CMEiVK4E0CKR/4U8Bqyj/jHAIcYkkK1lNQCKEkku89ZirwHbAyUxz4mKxCtZPnrCdAhREl0zFjxihF0bp16yhL4G0kkJYAlnSwXGT4TKQ9EcUnKAzMWLC/ll7wwMWswl+WLFmijhn+Fiokif85/78j/d7DkhBLSFBQVgiUGfZfypQpY0VxLCNCAlQYEQLD5cilbDixCMIL+MvSpUv9P/JvEoiIAH7x165dW1k3RXRjgIux5NS9e3dZvXp1mvzY8CTHr31EfzUF+wuDBw+W6dOnCwL8wcscprTpJZrvPcyEL168qHxA0pcXzWdYbsEsGHsQFPsJMLx5hMzhWIX1T9izm4JfPVu2bBHDA1WlmDSP850EIiXQv39/+eijj5TTW6xhIOA4BxPdUaNGqYivaAssoGC19Pnnn6c2DXnCkfoV/h9YroLZKvYIEPDO3DQP53s/dOhQtZeHH1KYKeFHFf6ftGvXzrKw5PAtQT2///57QIvF1E7xj3gQSMGgUsIkYPzq8hnT/DRhD4xRUZ8Nu26fYXUSZkm8jAQCE0AID3ynjI3nwBdEeNTwV/A1atTI9/zzz/uMvOC+p556KjWMjTHb8D3++OM+I+dGaugOw7rKZ6RIVW1o1qyZz5iN+ML93huKR91nLEGpcg3LQZ8xw4mwxcEvN2YqKiSPkfc7+EU8E08CYzjDiIceZpkkEAOBhg0bKsc3WN9ZJdi3gC1/tmzZrCoyYDnIww1zXewxwDnOSkH2PeT4xrLUNddcY2XRWpeFzIvYkypQoIDT7UyhwnB6CFg/CaQjALPWli1bCnwdrAoTkq4K1300fjbL9ddfryK2WuEIiOU6eIuDs+4C50tjhijG7NDppjLjntMjwPpJID0BhCBv0qSJCuGdmYlr+nu9+nncuHEqtzc25K0Q7MkgLYHuAgdLOGEiJpcOQispHUaBbSCBdASGDx8umzdvDmnimu4Wz35ENGhEUjD2LpRhiRUddUssKfjFYHZl+tVY0fdYyqDCiIUe7yWBOBGoUqWKCksOb2n8Gk5UQWgRmAAjYCIspKwSKAz8eofJr85iBm/kDEPnUWLbSEADAvCJgKf0nXfeGdAvQoMmxrUJyNTXvn172WXk3p48ebIKZ2JVheaGvO4Ra+F4CZ8aOHXqIJxh6DAKbAMJBCGA0ON16tRROSZiDekdpAotD0NZwJ8DMahgBGCVp7jZWdO/RHeFgRkGlqMCxQQz+2LnOxWGnbRZFwlESMBIA6yc7LBEhYx5ixYtirAE910O58FWrVqpoJ4zZsxQ3u9W98KcYeie19tUGFb3P9ryqDCiJcf7SMAmAogJhbTAzZs3VzMNeG57VRAnCooRvhYItQNrsXiIqTB0n2EgP4lOptVUGPH4NrJMErCYANaxkR2vb9++0rNnTxUqHA5yXhKEREHkZzgXIgYWMlnGS+AE16ZNG0v3ReLRVoSKGTBgQDyKjqpMOu5FhY03kYBzBPDLGzGasM6PpEf4W5c17mioYFYBpzTsVTzzzDPyxhtvxN0jPZp28h6h4x6/BCTgNgJGbCjZtGmTmmV06dJFLeHgF7nbBFFyMWPC/gzW6hFiHY558Q5f4jZOOrWXS1I6jQbbQgJhEkC2vJEjR8ratWtVIqQbb7xRbr31VrXuH2YRjl2GSLNI31qqVClBfg3MktavXy+IoUXRmwAVht7jw9aRQEgCWPNHzKmFCxfKX3/9JY0bN1YhzT/44AM5ceJEyHvtPol2IpQ6nNA+/PBDNbuAj8WTTz4pSOlK0Z8A9zD0HyO2kATCJoClqdGjR8vUqVPVPQiuh81dxKfKkydP2OVYcSFCWiCnBkxjkZwJexW1atVSuTcQxwk5MyiuIsBota4aLjaWBMIkgNkFvKORKAnObxA4AMJEEy8sYSHcuZWCMBtwLly+fLkg0x72JA4ePKgSMkFp3XPPPXLttddaWSXLspcAFYa9vFkbCdhPAJvLsECC4oACOXr0qGoEloaw4Yz83shfAZt/hNJGtj34fsBXAR7RSB0LfwU4ueEd9x84cEB+++03QXA85AFHoES84zwUkZGESe1JYIaDTJSUyAkghljx4sXlqquuivzm+NxBhREfriyVBPQjgKivV199tQrih1AbeMhjRoD0wrBSgl8HlpHCFTO8RqVKldSGO5QPZhDVqlWTWNPLhtuGWK6bN2+eUpQVKlSIpZi43YuxQuBFjfwwqDDiNtosmAQ0I4AlISPdqlIUmDWkF2yaY9aArHlnz55NnVUgJwdmG+aMA3shmI1gJnHbbbfJ5ZdfLtOmTUtfnPafMatCgMfnnntOu7ZCcWOPB179DzzwgC7tS6Fpgi5DwXaQQBwJwG9j0qRJMmXKFLXEFKgq+D9gmSqSUNrYm8ADF0tRZtYedogAACTeSURBVLiNQGXreAwzJLRbR4HiRtvKli2rVfNoVqvVcLAxJBAfAvB7qFmzptx1112WVtC6dWs5c+aMMuu1tGAbCoOC01Vh7NixQxGgwrDhi8AqSIAE/p/AypUr5auvvlIhN6wOIVKsWDFlKgvTWbcJFIau0WqhMBA/DEt/OglnGDqNBttCAnEggPAbcOhr2rRpHEoX5ecxc+ZM7bPXpe+87jMM7LFYreDTM4j0MxVGpMR4PQm4iMCcOXOUXwQC+sVLsI+BjfJVq1bFq4q4lKvzHgZmGLotR2EQuOkdl68iCyUB5wnA0ubFF18U7DPAUS9eAvNP7I/AbBe5LNwiOi9JwSMeS1K6CRWGbiPC9pCARQQQHmTjxo0yYcIEi0oMXgzMdd0mdevW1XYZ7YknntASJ2NJaTksbBQJxEYAuTLgwV27dm2ZOHFibIXxbhL4LwH6YfCbQAJeJDBu3DhBJFikdqWQgFUEOMOwiiTLIQFNCMC3oHz58nLHHXfIP//5T01axWZ4gAAz7nlgENkFEkhDYMSIEXLs2DF5+eWX0xznBxKIlQDNamMlyPtJQCMCJ0+eVMEFkZSocOHCGrWMTfECASoML4wi+0AC/yMwdOhQZfmjY0A9DpL7CVBhuH8M2QMSUASQK3vYsGEqGKDd2fXMITh06JD06tVLkIODEh0B5DhHyHkdhQpDx1Fhm0ggCgIDBw6UXLlyqQd2FLdbcguc4RCSG7GrdBfkAEFCKZ0EYeVfeOEF2bZtm07NSm0LFUYqCv5BAu4lgIcfHtTY6HYyVzZyZNx0000qj7fuNJFGtmPHjlo1E4oCHvpIcKWjUGHoOCpsEwlESODVV18VRI7t0aNHhHdafzliS82dO1fb0OFmjzEbgoMjEkTpIlu3blX5SsqVK6dLk9K0gwojDQ5+IAH3Efjpp59U+A+k8kQSJKfFLTkyzBSzOuXEgMIoVaqUZM+e3elhDFg/FUZALDxIAu4hgGUohAHp3LmzFo12S44MzDAguikMXZejwIoKAxQoJOBSAmvXrpXp06cLNrwvuUSf/85YltI9R4apMHRKooQ9jAoVKmj7bdTnG6YtIjaMBPQlgORICF1+++23a9VIM0fGd999p1W7/BtjKgzOMPyphP6b4c1D8+FZEtCWwKJFi2TBggWyZMkS7dqIHBk//vijVKlSRbu2mQ3SbQ/j4sWL0r9/f7nlllvMJmr3zuCD2g0JG0QC4RGoU6eOwEEPFkmUyAnAyRB5JwYPHixIh0rJlADDm2eKiBeQgIYEZsyYIVjuwR4GJToChQoVEiSZooRPgDOM8FnxShLQggCWLqpXr64so/jA02JIEqURnGEkykizn94h8PHHH8vPP/+srKO80yv2xA0EOMNwwyixjSTwPwLnz5+XSpUqqY3RDz/8kFxIwE4CTKBkJ23WRQKxEhg9erQcPHhQWdPEWhbvJ4FICdAPI1JivJ4EHCJw5swZ5aD32GOPSYkSJRxqReTVIvvfvHnzIr+Rd2hHgApDuyFhg0ggMIHhw4cLwl/DWc9NArPfli1bMkdGiEFbtmyZPPzwwypSbYjLHD9FheH4ELABJJA5gaNHj8qQIUPkmWeekQIFCmR+g0ZXtGjRQpKSkrTMkTFnzhzZvHmz47SWL18u8+fPV5wcb0yIBlBhhIDDUySgCwE4lyESbe/evXVpUtjt0DlHRp8+feSzzz4Luy/xuhARhxFAUnehwtB9hNi+hCdw4MABef/996Vfv36SO3duV/LQNUcG4knpEHwQKVkRTkV3ocLQfYTYvoQn8Nprr6llKGx2u1XMHBmIfaWTQGE4HXwQjpjwq+EMQ6dvBttCAi4k8Ouvv8rYsWOVGW2OHDlc2IP/NtnMkfHll19q1QcEIHRaYezevVvNcjjD0OqrwcaQgPsIvPLKK1K2bFnp0qWL+xqfrsU65sjQYUkKy1EQN8wwGN483ZeaH0lAFwKbNm2SSZMmyZQpU1SeZ13aFW07OnXqJFdeeaXKoa1LsicdlqSgMDADu/zyy6NFa9t9DA1iG2pWRAKREWjVqpXy6v7++++1N7eMrGf6XH3ffffJyZMnxcmlsn379gmWHhs1aqQPmMAtYfDBwFx4lAScJbBy5Urlt/DNN99QWcRxKOrVq6cURhyryLTo4sWLC15uEM4w3DBKbGPCEWjYsKFahlq8eHHC9Z0d1pYAZxjaDg0blrAE4H0Mz99Vq1YlLAN2XE8CnGHoOS5sVYIS8Pl8UrNmTSlZsqSj6+oJip/dDk2AM4zQfHiWBOwlgAx6sI6aOHGivRWzNhIIgwBnGGFA4iUkYAeBCxcuKFv82rVrJ4TCOHXqlGtDndjxfdCwDs4wNBwUNilBCYwbN0527dolsIzyuvTq1UsQcA8RWinuIcBYUu4ZK7bUwwQQnmLAgAHSo0cPKVOmjId7+t+u3XjjjbJkyZKEzpHx999/S8WKFWXhwoWuGW96ertmqNhQHQgcOXJE5U9ADgU4W/3222+CaLJ4xxILHvyIforc29mzZxd4EiNeUc6cOaVIkSJStGhR9Q6lUKVKFfUqXLiwjBgxQpCZ7uWXX9ahm3Fvg3+OjHvuuSfu9QWrAE5zK1asEHih2y1bt26Vbdu2Sb58+eyuOur6uIcRNTre6HUCiCK6YcMGZeIKM1c40yGfNiRPnjzq16GpAKAMkPcBCgIvBAqE0jAVCJQJlIqpYLZv3y5QPhAkRKpUqZJSJMjPcN1110nWrN7/LXfbbbepcBjTpk1THJz4Z8aMGdK2bVv566+/bGcOA4fOnTsLUu+6JLAk9zCc+JKyTn0J4CGPJYIvvvhCZs6cKYcOHVK/AOERjORF1157rZoVQFHEKocPH1azlY0bN6pfuVBKSOaTN29euf3229WDDA9VzFC8KAhG+NxzzymlCiXrhJj1QrHnypXL1ib8+9//Vj86XKIsFBvOMGz9irAyXQkgH0FKSor861//EqRDvf766wUPNDy4q1atalt4jl9++UVmz54t+OULxz08xPAr9KGHHpIaNWroii+qdmEpDyExZs2apXJ+R1VIjDdhH+Wmm24SKO+CBQvGWFpkt99xxx1qNorgki6RFG56u2Sk2Mz4EEDojVtuuUVlO8Os4umnnxbkJ/juu+9Uhrtq1arZpizQQyxNIW83ZhtYvurfv78sXbpUOfNhoxjKxCuCWVqtWrWUcnSqT/4zDLvbgBkGvl9uEioMN40W22oZgWXLlkmDBg3k5ptvVmXClBWb2C+++KKUKFHCsnpiKQihwLEMhvDXUCD4BYwZDzzBv/rqq1iK1uberl27qpDnTjXIXO7DkpSdcvr0aWVCTYVhJ3XWRQIREsAyCJZ4EEoaDwtsZGPPomnTprbOJCJsttSvX1/tqWATHhZWCH2OF5Scm+WRRx6RgQMHOtYFc4Zhd15v+KAgDEz16tUd63s0FXOGEQ013uNKAh999JFa8lmzZo2K0zRv3jypW7euq/pyzTXXyPTp0wVLaVg6g2nu22+/rR4+ruqIJo01FYbdMwwsxWGvrHTp0pqQCK8ZVBjhceJVLiZw4sQJ6dixozz44IOCX7RY4mndurWLeyTSuHFjZfKLFK4vvPCCNG/eXFl0ubpTDjQeptAdOnRQJtF2Vw9ruKSkJLurjak+WknFhI83604AoTbwMEVWtQkTJqgNbt3bHGn7kJEPy2z4lYzQ6LDqopBAHAjQSioOUFmkJgTWr18vderUUaaLsHqCNZQXBcsb6F/ZsmXVXgeTLnlxlPXoE5ek9BgHtsJiAj/++KM0adJEsOYPC6NixYpZXINexWF5A4H8MJtq2bKlcgTUq4VsjRcIcEnKC6PIPqQhsHPnToFnNgK7YYnGNJ1Mc5FHPyCgXfv27dWmOPw33GaF49Fh8Uq3UqgwvDKU7IcigNAeWIZCHCjMLHLnzp1wZM6dOyfNmjVTVlQww7388stdwQDe7HBOhG8GRUsC3MPQcljYqKgJIDYRAvshJlMiKguAQ2yiyZMnq6i5eAi7RWDN9umnn7qluVG3c8+ePSrYYdQFOHgj9zAchM+qrSWwevVqeffdd+WDDz6Q8uXLW1u4y0orVKiQytqHOEUIougGQeyuRMiR0bBhQxkyZIgbhiRDG7kklQEJD7iVALyhs2TJomIvubUPVrcbPgbIEQ4jAN1DpmOGgfAnyDxoZ46Mr7/+WoWWtyO4I3KeIP8FQrsgJ4jLhEtSLhswNjcIAWxuI8zHO++8E+SKxDw8ePBggRHAxIkTtQcAJzpEjkWkXjsFzo9YwrNDfvjhB1WNHcopHv3hklQUVI8fP67CMTz55JOC8BKwTKE4S2DMmDEqPhSSD1kheMhiaWv8+PEq9HUsZSJM+auvvqpiJsFfIjNBYp1wrsusHJxH3CkkCAIfNwiWpebOnaucEO1qL6zo7AoNAoWB5UIk3HKjUGFEOGpmrgQkvcE0H3bvbotHFGGXtb/8999/V2G/rdrgxa/ybt26KUc/7IUgDAcsrqIR/KjA0gOWWV566SVlwfXWW28FLWrt2rVy7733CpwOrRJwwf4OAt7pLsgRgQx0dua5RjwpuxQGrNbcOrvAd4cKI8L/QeavP4SZwJcavxzxaxDLIRRnCGCjFJE/Efo7VsGv2379+qmlLfhxYF8EIcbxKx35nyORzz//XC655BL5448/VCjrBQsWqGx6CKG+Y8eODEXhQYnvE9KFWilQeEgpi/p1F+TIuOGGGyxVmJn1GQrDrmi1mGEga6NbhQojgpGDjT9SZvonbb///vtVCW6xdY+gu665FMoaHt1WmNEOGjRI/QL0/xWIX/zIXzB27NiImHz77bcydOhQtRGPIHMITYIgiBcuXBDEf0ovffv2Vfk40h+P9TOUFmbBbvlRA4fDl19+OdZuh32/XTMMzGKQ2dH/uxV2IzW5kAojgoHInj27WhP2vwUWKMhL4LZEKP59cPvfyFxmxd7FkSNH1NJT+rHEA6VcuXKC2SUE9WFvAy9sJiPvNzbd8fmTTz5JnSHAJwRWW/6C7woEoTz8Bdn+MKNBuPJ4CJIuYQnVDWJ3jmu79jCwdFq7dm1LvqtOjSMVRpTksQSCBwhCS2NzlOIcATzokZ0uVsEyETzEA21Ionw4BGLcoVAwY4BHMowesImJX/FQGPCwzpYtm2pKoBzRe/fuVcoC3uimIKkTlq8ef/xx85Dl72g/OFEyErBrSQqZHDHLw48PtwoVRhQjh7Xmhx9+WD0wkFsBD5BASwxRFM1boiAA2/b0v9ijKCY1n0Sg2FPJycmCJUnsR0AeeOABtTkNj/Jt27bJiBEjBE5y+fPnD1k1rkGebnMJEwqoT58+aukq5I0xnsQyKgw2KBkJIO6YVyMZZ+xtbEeoMKLglzNnTmWmeOrUKRk2bJjg/bHHHouiJN5iBQGMB5R4rJIrVy5VRKCkNjCdxlKJv2KCVzk2kxH/CFZVmGmEki+//FLNXmA5ZQq+P3fffXem95rXR/sOPuBEyUgAyh8rBZTMCVBhZM4o6BVYhnjqqaekXbt2AusHBH2j2E+gQIECliy3YMkAEkj54EcB9hj89yTwq/31119Xsw5siocSzEKQIhYvU7Zu3apiXsEqCktSeJlhPPB9wufffvvNvDymdyxHgROFBGIhkDWWm3nvfwkg7wKS1ti9WUf+/yWAvMi//PJLzDigMPArHPsM6QUP3PTWLdjvQIgH7Edg1nDrrbdK4cKF098qcPSEuSxMsf2/IzDTRSC6Xr16pd6DJSoI9sdQNiyzAu2ppN4Q5h/gA04UEoiFAGcYsdD7372bN2+2xAfAgqYkZBEwGYUJa6we93iYd+/eXTm5QRmYgvSumCEgLpO/YDkJjmaIsIr9jUcffdT/tPr77NmzAmspLF8h9IUpmDkUL15c+XZAcZgv1AN588031TGYcVshK1asUDlCrCjLrjIw04NZMowCKHoQoMKIYBzg3DNw4MA05onYBMXyAR4eFGcIIPonlozWrFkTcwPgpIdN9OnTp6eWhY1qhKzA0qMpMFGFwyDWvxF+A34DiIH08ccfm5co89q77rpLLQUhVhE2xvH6xz/+Iffdd18GE+3UGy3+49dff1WOgg0aNLC45PgWh2CJYAWTY4oeBLgkFcE44FcnHiR4OFx//fXKhBLrwoh2aW6YRlAcL7WIAHwX4Lj34YcfxhympVSpUrJs2TLp2bOnrFu3Tm1GY9lo5MiRqa3F8iM2uaEMsISETXJz/6NHjx4qzMSDDz4ocOqEfwZe6QWzDtP8Nv05qz9jWQspahs3bmx10XEtDzM+hN6BIsZ4uFlgco2ly6uuusrN3RCGN49i+LAmDSc+mFpS9CCAX+7PP/+82n/w98SPpXXYt8Aykl0P9ljaGuxeeBdjBoSlNmzQu00mTZqkFC+c3mCR5kaBUQOiECAApBkZwo39MNrM8ObRDBy+uFQW0ZCL3z1dunRR/ykHDBhgWSWYPbpZWQAEwr3DgiueToGWAQ9QEAI3YgYHA4B4yf79+wUzgFj3wIK1D5EBYEGJVQm3C/cw3D6CbL8igCVBrHdj6cgNUVntGDZsFmPz/Nlnnw1ovWVHG2Ktw44cGdiPgtd+IHPqWNuP+xGBGN9Pty9HoS9UGKBA8QQBLLsgZlLnzp0T3icG+23YWIdJLjzJ3SzxzpGB0CCQeIU4h8LA9xJ+W24X9/fA7SPA9ltGAE51WPNGTCg4VCayYLYFU1pYZ7l9+TTeOTLMUDDxVBheWI7C/ycqjER+qniw72XLllXe1NhgfOONNzzYw8y7BKsoKAz4fuCXrdsFOTJgmRaveE/xnGFg7wJLXl5RGDSrdfv/JrY/A4E777xT3n//fWWKCeuUJ554IsM1Xj2AGQUy7MH0+5FHHvFMNxs1ahS3vpgKIx5JlJCZE1ZSVBhxGz4WTAKxE0AwSFgHIewGvKrhcBkoqGDsNelTAiyisMGN5TgrrcX06WF8WmIqjHgsSSEgJb57SPXrBeEMwwujyD4EJADnOMR2ghMdclnAsc8MKx7wBpcexIMOSgLLcAilAW91SvgE4rmHAUdQpPz1inAPwysjyX4EJABHKeTphvc2cikj5pSXBDb+tWrVUpvbyM1BZRH56MLkFSFeAiW8irw0b99BheHt8WXvDAI333yzIJUu7OART+npp5+WEydOuJoN1tuRiAnKAr4KWCv3j3Xl6s7Z3HjMMOC4V7lyZZtrdl91VBjuGzO2OAoCSFEKb+HRo0ervNvIbYElqgsXLkRRmnO3wL8CG9tQfsOHD1eOeUuXLhUsfVBIIN4EqDDiTZjla0MAm95w7kNuCIQqx8Z4hQoVZNSoUdo7+iFsxcSJE6Vq1arKMRGBBNEPzJb8kzppAztODYGCtyIqcZya5/liqTA8P8TsYHoCSLMKs1tshCMaKjaMEW0WFkZWJGJKX18sn3fv3q2WnpD8COErzKi48K8IlKwplrrccO/8+fNV1FfkD6HYT4AKw37mrFETAiVLllSxp3bu3Kl8NaZNm6aWepCQaciQISppkhNNRTj19957T+29wBER1k8I84HkSt98840MGjRIzSyQ5c8/0ZMTbbW7TuxHwbcG+dEp9hNgeHP7mbNGTQng4Ttv3jyVHhW5tZEcq1KlSgKnMWyW169fX/BL32pBkECE8Vi+fLmy5sIGPTayEam1ffv2Kpsjkgn5C5QbLMCQkQ8Z/9we/sO/b5n93bFjRzl69KhgtqGrYEwxdkjLW65cOV2bGWm7UqgwIkXG6xOCAPYM8ADHL3q8f//99yoNK0LbI2ETLGqwcY6wFQjwh3f4eMAJDFY3yJcCD19YM8FPAmleDx48qNKNwpEQswWk9t2yZYsg7wYUAnKGQzE1bdpUbrrpJlVGKNirVq1SKWKR72LWrFkq2VOo671yzg05Mj7//HOlMJA7BzMijwgVhkcGkt2IMwE89BF1FH4PeNDjhdSnUAJQDOEKFAO8f/GQh+LBCxvZMI+NJmsj9mEwE0EbFi5cKFjC8rrAJBo+E+PGjZN77rnHku4ia2b+/Pmldu3alpQHp1FkWsT3xUNCheGhwWRXHCCAFK2YIWDWgLzimFFgDwLWWPC6RupYzDqgDLBJDfNeq8NcY+nspZdeUvXlzJnTAQr2V4mlOMzosDRnhSAvPBw7sXdkhWAZEzPQlJQUK4rTpYyUtAujujSL7SABlxCAqS5+7fp7CUNhQLC8dMMNN8S9J/hl/MEHH8S9Hp0qQI4M/IrHzM+MBRVL+1CGVcEHsZyJ2SgMFbwmVBheG1H2hwQSgAByZBw+fFjtK1mlMKB8rBAsQ509e1aZ/1pRnk5lUGHoNBpsCwmQQFgEYGSA0ChWCQwVrFIYq1evVhvdXgw1Qj8Mq75xLIcESMC1BKxcksJyFIwYrN6r0gEuFYYOo8A2kECcCBw7dkyQUAoe45TgBKAwrJphINTMJ598ErwyF5+hwnDx4LHpJJAZAWzkwvS2Tp06sm7duswuT9jzVioMmE57NWwLFUbC/hdhxxOBANb64UUO816YesLBj5KRAMLBNGvWLOMJHklDgAojDQ5+IAHvEYCn8ezZs1WUW5ijjhgxwnudjLFHCDcCXxZKaAK0kgrNh2dJwBMEsEyCIIbwMEee8x07dihHP69szML3IZHCvDv1peQMwynyrJcEHCDQt29fFawQjn6IkeUFefvtt1VgSC/0Rfc+UGHoPkJsHwlYTKBTp04qDhb2NLwg8HeA7wNzZMR/NKkw4s+YNZCAdgSwGe4V0SVHxv79+1VUYq9wDdQPKoxAVHiMBEjANQRy5MihMifOmDHD0Ta/8MILctdddznahnhXToURb8IsnwRIIO4EYP21ZMkSQf4Jp2TlypVSr149p6q3pV4qDFswsxIScA+B9evXu6ex/2spcoIgcjDMh6MR5DVBfo1z585Fc7sKb49Uv1QYUeHjTSRAAm4kgHV4OLEhn8eFCxdc0wWktEWWwmhzfW/dulW6desW9QwFswuY9VqVgElX8Jxh6DoybBcJOECgWLFiMn36dJXXvHnz5q7axIXzHfxNohFEq4VEG08KCqNatWpeSscaECMVRkAsPEgCiUugZcuWsmzZMpWGFksse/fudQUMzBCQ7zsaMXNqRJtEKRH2L8CVCiOabxfvIQGPE6hRo4asWbNG9RLLLD/88IOne2wqjGhmGEiWtGHDBs/vX+ALQIXh6f8G7BwJRE+gRIkSgl/OVapUEeS8hhWSVyWWJamjR49K06ZNE8LbPLoFP69+a9gvEiCBNAQuv/xy+frrr1VgvooVK6Y556UP5gwjmiWp4sWLR22d5TaGVBhuGzG2lwRsJpAtWzYZPHiwzbXaW52pMKJZkrK3pc7WxiUpZ/mzdhIgAQ0IYEmqS5cuUqRIEQ1ao28TOMPQd2zYMhIgAZsIwIcCjnuU0AQ4wwjNh2dJgARcSABLaCkpKS5sud5NpsLQe3zYOhLQmsBff/0lHTp0UGlgdWooEkQhYRTFWgJUGNbyZGkkkFAEED4EryZNmsjkyZO16TuCEa5du5Y5MiweESoMi4GyOBJIJALYLP7ss8/kscceUznD33zzTS26b0eOjF27dsmzzz4rJ06c0KLPdjSCCsMOyqyDBDxMAHnB33nnHXnvvfeUv8ZDDz3keOBCO3JkLFiwQEaOHCnJyckeHt20XaPCSMuDn0iABKIk8PjjjwuSGH366afSqlUrOXXqVJQlWXNbvHNkIN7WjTfeKPBTSRShwkiUkWY/ScAGArfffrsKIbJx40b5+OOPbagxeBVmjoyvvvoq+EV+Z+bOnRvR5j0UBkKmJJJQYSTSaLOvJGADgeuvv142bdokjz76qA21Ba/CzJGxaNGi4Bf5nRk2bJiMHz/e70jwP3fv3i14JZrCoONe8O8Ez5AACURJoGDBglHeae1tn3zyieTPnz+sQrGBH25oEMwusmfPLnXq1AmrbK9cRIXhlZFkP0iABDIQKFCgQIZjwQ4gnlQkCuOGG24QMwZVsDK9dpxLUl4bUfaHBEggKgJ4+IcbrXbp0qUJtxwFqJxhRPXV4k0kQALREli/fr3KsQHTV50kkhkGMvuFu9SlUx9jbQtnGLES5P0kQAJhEzh//ry0bdtWbrnlFvnjjz/Cvs+OCyPZw7juuuukdOnSdjRLqzqoMLQaDjaGBLxNABvFc+bMkf379ysfhu3bt2vT4UiWpLRptM0NocKwGTirI4FEJ1C5cmVZvXq1wOwVjm+rVq3SAgksnu644w4t2qJrI6gwdB0ZtosEPEygUKFCgo3junXrquWpadOmxbW3CJA4ZcoUQfynYAJl0b9//2CnedwgQIXBrwEJkIAjBBCD6YsvvhDEnurYsaOMGjUqbu1AgqSnnnrKce/zuHXQpoKpMGwCzWpIgAQyEkDgwnfffVcFLsRsI16SlJQkrVu3li+//DJeVSREuVQYCTHM7CQJ6E0AgQurV68e10ZakSPj9OnTcW2j7oVTYeg+QmwfCZCAJQRizZGxb98+yZMnj6xZs8aS9rixECoMN44a20wCJBAxgVhzZCCIYdasWeM+E4q4YzbeQIVhI2xWRQIk4CyBWHJkLF68WAUbhINfokqSz5BE7Tz77Q0Ce/bskVKlSnmjM3HsBZZSEDBPJxk6dKhKc6pTm3RrS8mSJVUodQ3alcJYUhqMAptgDYE33nhDypcvb01hHirlyJEjKue2rl1CRFmkOqVkJDBr1izlr5LxjDNHqDCc4c5a40AA8Yl0+wUdh25GXCRmYDoL/DHat2+vcxMdaxuSNMHBURfhHoYuI8F2kAAJkIDmBKgwNB8gNo8ESIAEdCFAhaHLSLAdJEACJKA5ASoMzQeIzSMBEiABXQhQYegyEmwHCZAACWhOgApD8wFi80iABEhAFwJUGLqMBNtBAiRAApoToMLQfIDYPBIgARLQhQAVhi4jwXaQAAmQgOYEqDA0HyA2jwRIgAR0IUCFoctIsB0kQAIkoDkBKgzNB4jNIwESIAFdCFBh6DISbAcJkAAJaE6ACkPzAWLzSIAESEAXAlQYuowE20ECJEACmhNgPgzNB4jNcxcB5J5YuXJlaqMvXLgguXPnFqQGpehNYOfOnTJ37lxBCtYWLVrIlVdeqXeDHWgdFYYD0Fmldwk8//zzMnny5NQOJiUlyZYtW1I/8w89CQwePFgpi9GjR8vhw4elcePGgr8bNGigZ4MdahUVhkPgWa33CCA72l9//ZUm/3KOHDmkUKFC3uush3qEWUW/fv1k7dq1UrFiRfXq3bu3tG3bVjZs2CDFixf3UG9j6wr3MGLjx7tJIJXAsGHDpFmzZmopo2TJkoIXlUUqHm3/GDRokNSoUUO9zEbee++9cvr0aRk7dqx5iO8GASoMfg1IwAICx44dUw+XHj16SJ48eaRTp06iey5tC7rt+iKOHDkiy5cvl2rVqqXpy6WXXirlypWTqVOnpjme6B+oMBL9G8D+W0IAS1EDBw5UigKbpVOmTJGrr75a5syZY0n5LCQ+BHbs2CEXL16UIkWKZKgA47h9+3bx+XwZziXqASqMRB159ttSAni49OrVSyZNmiR4CGFN/M8//5Ru3brJ8ePHLa2LhVlH4NChQ6owWEall+TkZDl//rz88ccf6U8l7GcqjIQdenY8XgSyZs2qZhvDhw+XgwcPyuLFi+NVFcuNkUCuXLlUCbBmSy9///23wGghb9686U8l7GcqjIQdenY83gQ6duwol1xyiWzbti3eVbH8KAmUKFFC3XnmzJkMJZw6dUpZTGXJkiXDuUQ9QIWRqCPPfsedQMGCBSVfvnzqoRP3ylhBVASgMHLmzCl79+7NcD82xCtXrpzheCIfoMJI5NFn3+NKYMWKFWpDtX79+nGth4VHTwBLTt27d5fVq1ersTJLOnnypJoZdujQwTzEd4MAFQa/BiRgAYGhQ4fKqFGj5OzZs6o0WNbg85gxY6RAgQIW1MAi4kUATnowi54+fXpqFbByQziXdu3apR7jHyL09Oa3gAQsILBp0yaZOHGivPjii9K5c2fJli2bspqqXbu2BaWziHgSKFWqlCxbtkx69uwp69atU86W8KEZOXJkPKt1ZdlUGK4cNjZaNwITJkwQzDJgglmmTBmB4xfFPQSqVKkiS5YsEexbXHHFFUrhu6f19rWUCsM+1qzJ4wTgi4EXxb0EuHwYeuy4hxGaD8+SAAmQAAn8jwAVBr8KJEACJEACYRGgwggLEy8iARIgARKgwuB3gARIgARIICwCVBhhYeJFJEACJEACVBj8DpAACZAACYRFgAojLEy8iARIgARIgAqD3wESIAESIIGwCFBhhIWJF5EACZAACVBh8DtAAiRAAiQQFgEqjLAw8SISIAESIAEqDH4HSIAESIAEwiJAhREWJl5EAiRAAiRAhcHvAAmQAAmQQFgEqDDCwsSLSIAESIAEmA+D3wHPEGB2O3cOJbLbJSUlubPxNrS6ZMmSNtQSXhVUGOFx4lUaE0DSm6lTp2rcQj2aVr58eT0a4teK1q1bC1KkUoITSE5ODn7S5jNJRrJ6n811sjoSIAESIAH3EUjhHob7Bo0tJgESIAFHCFBhOIKdlZIACZCA+whQYbhvzNhiEiABEnCEwP8BNGTJIZzH6QoAAAAASUVORK5CYII="
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "display(\"image/png\", read(\"times_example.png\"))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Julia 0.6.0",
   "language": "julia",
   "name": "julia-0.6"
  },
  "language_info": {
   "file_extension": ".jl",
   "mimetype": "application/julia",
   "name": "julia",
   "version": "0.6.0"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}
